Murano, Aniello (2006) Pushdown Module checking for Branching-time Temporal Logics. In: Schloss Dagstuhl Seminar 06411: Specification, Verification and Test of Open Systems, Ottobre 8 - 13, 2006., Dagstuhl - Germany.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Depositing User: ing Paolo Nicastro
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41

Actions (login required)

View Item View Item