Multi-valued Model Checking in Dense-Time

Áreas de investigación:	Sin categoría	Año:	2005
Tipo de publicación:	Artículo en conferencia
Autores:	4, Ana Belén Barragáns Martínez 2
Volumen:	3571
Título del libro:	8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science
Serie:	Lecture Notes in Computer Science (LNCS)	Páginas:	638-649
Dirección:	Barcelona, Spain
Mes:	Julio
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", }