Murano, Aniello (2007) Enriched \mu-calculus Pushdown Module Checking. In: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07), 15-19 Ottobre, 2007., Yerevan, Armenia.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Language: English
Title: Enriched \mu-calculus Pushdown Module Checking
Creators:
CreatorsEmail
Murano, AnielloUNSPECIFIED
Autor/s: A. Ferrante, A. Murano, M. Parente
Date: 2007
Number of Pages: 0
Department: Scienze fisiche
Official URL: http://www.lpar.net/2007/
Event Title: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07)
Event Location: Yerevan, Armenia
Event Dates: 15-19 Ottobre, 2007.
Title of Book: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07)
Publisher: Springer-Verlag
Date: 2007
ISBN: 978-3-540-75558-6
Volume: 4790 of LNAI
Page Range: pp. 438-453
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/5520

Actions (login required)

View Item View Item