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)
Language: English
Title: Pushdown Module Checking with Imperfect Information
Creators:
CreatorsEmail
Murano, AnielloUNSPECIFIED
Autor/s: AMINOF B; A. MURANO; VARDI M.Y
Date: 2007
Number of Pages: 0
Department: Scienze fisiche
Event Title: Proceeding of the 18th International Conference on Concurrency Theory
Event Location: Lisbon - Portugal
Event Dates: September 3-8, 2007.
Title of Book: 18th International Conference on Concurrency Theory (CONCUR'07).
Publisher: Springer-Verlag
Date: 2007
ISBN: 978-3-540-74406-1
Volume: 4703 of LNCS
Page Range: pp. 460-475
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/5661

Actions (login required)

View Item View Item