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)
Language: English
Title: Pushdown Module checking for Branching-time Temporal Logics
Creators:
CreatorsEmail
Murano, AnielloUNSPECIFIED
Autor/s: A. Murano
Date: 2006
Number of Pages: 0
Department: Scienze fisiche
Official URL: http://www.dagstuhl.de/en/program/calendar/semhp/?...
Event Title: Schloss Dagstuhl Seminar 06411: Specification, Verification and Test of Open Systems
Event Location: Dagstuhl - Germany
Event Dates: Ottobre 8 - 13, 2006.
Country of publishing: GERMANIA
Publisher: Dagstuhl School- Germany
Date: 2006
Page Range: pp. 1-3
Number of Pages: 0
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5517

Actions (login required)

View Item View Item