Murano, Aniello (2008) \mu-calculus Pushdown Module Checking with Imperfect State Information. In: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008, 08-10 Settembre, 2008., Milano, Italy.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Title: \mu-calculus Pushdown Module Checking with Imperfect State Information
Creators:
CreatorsEmail
Murano, AnielloUNSPECIFIED
Autor/s: B. Aminof, A. Legay, A. Murano, O. Serre
Date: 2008
Number of Pages: 0
Department: Scienze fisiche
Official URL: http://bioinformatics.bio.disco.unimib.it/tc1/
Event Title: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
Event Location: Milano, Italy
Event Dates: 08-10 Settembre, 2008.
Title of Book: 5th IFIP International Conference on Theoretical Computer Science (IFIP TCS'08)
Publisher: Springer-Verlag
Date: 2008
ISBN: 978-0-387-09679-7
Volume: 273 of IFIP
Page Range: pp. 333-348
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/5519

Actions (login required)

View Item View Item