Multi-valued Model Checking in Dense-Time

Research areas:	Uncategorized	Year:	2005
Type of Publication:	In Proceedings
Authors:	4, Ana Belén Barragáns Martínez 2
Volume:	3571
Book title:	8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science
Series:	Lecture Notes in Computer Science (LNCS)	Pages:	638-649
Address:	Barcelona, Spain
Month:	July
BibTex:
@conference{FPBLDGGR05, author = "4,2,Ana Bel{\'e}n Barrag{\'a}ns Mart{\'i}nez,8,3,5,12,6", address = "Barcelona, Spain", booktitle = "8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science", month = "jul", pages = "638-649", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science (LNCS)", title = "{M}ulti-valued {M}odel {C}hecking in {D}ense-{T}ime", volume = "3571", year = "2005", }