Murano, Aniello (2008) The Pushdown Module Checking Saga. In: 1th Annual Workshop of the ESF Networking Programme on Games for Design and Verification, (GAMES'08), 8-11 Settembre, 2008, Warsaw, Poland.

Full text not available from this repository.
Original publication URL: http://www.mimuw.edu.pl/~games08/
Item Type: Conference or Workshop Item (UNSPECIFIED)
Resource language: English
Title: The Pushdown Module Checking Saga
Creators:
Creators
Email
Murano, Aniello
UNSPECIFIED
Autore/i: A. Murano
Date: 2008
Number of Pages: 0
Department: Scienze fisiche
Original publication URL: http://www.mimuw.edu.pl/~games08/
Event Title: 1th Annual Workshop of the ESF Networking Programme on Games for Design and Verification, (GAMES'08)
Event Location: Warsaw, Poland
Event Dates: 8-11 Settembre, 2008
Date: 2008
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/5518

Downloads

Downloads per month over past year

Actions (login required)

View Item View Item