Murano, Aniello (2007) Pushdown Module Checking with Imperfect Information. In: Proceeding of the 18th International Conference on Concurrency Theory, September 3-8, 2007., Lisbon - Portugal.

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