Murano, Aniello (2008) Program Complexity in Hierarchical Module Checking. In: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning , (LPAR'08), 22-27 Novembre, 2008., Doha, Qatar.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Language: English
Title: Program Complexity in Hierarchical Module Checking
Creators:
CreatorsEmail
Murano, AnielloUNSPECIFIED
Autor/s: A. Murano, M. Napoli, M. Parente
Date: 2008
Number of Pages: 0
Department: Scienze fisiche
Official URL: http://www.qatar.cmu.edu/lpar08/
Event Title: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning , (LPAR'08)
Event Location: Doha, Qatar
Event Dates: 22-27 Novembre, 2008.
Title of Book: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'08)
Publisher: Springer-Verlag
Date: 2008
ISBN: 978-3-540-89438-4
Volume: 5330 of LNAI
Page Range: pp. 318-332
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/5516

Actions (login required)

View Item View Item