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.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41

Actions (login required)

View Item View Item