Ana Fernández Vilas, José J. Pazos Arias, Ana Belén Barragáns-Martínez, Martín López Nores, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer. Multi-valued Model Checking in Dense-Time. In Lluis Godo, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings. Volume 3571 of Lecture Notes in Computer Science, pages 638-649, Springer, 2005. [doi]
@inproceedings{VilasAMNRGDC05,
title = {Multi-valued Model Checking in Dense-Time},
author = {Ana Fernández Vilas and José J. Pazos Arias and Ana Belén Barragáns-Martínez and Martín López Nores and Rebeca P. Díaz Redondo and Alberto Gil-Solla and Jorge García Duque and Manuel Ramos Cabrer},
year = {2005},
doi = {10.1007/11518655_54},
url = {http://dx.doi.org/10.1007/11518655_54},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/VilasAMNRGDC05},
cites = {0},
citedby = {0},
pages = {638-649},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings},
editor = {Lluis Godo},
volume = {3571},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-27326-3},
}