%0 Conference Paper %1 conf/ecsqaru/VilasAMNRGDC05 %A Vilas, Ana Fernández %A Pazos-Arias, José Juan %A Barragáns-Martínez, Ana Belén %A Nores, Martín López %A Redondo, Rebeca P. Díaz %A Gil-Solla, Alberto %A Duque, Jorge García %A Cabrer, Manuel Ramos %B ECSQARU %D 2005 %E Godo, Lluís %I Springer %K dblp %P 638-649 %T Multi-valued Model Checking in Dense-Time. %U http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru2005.html#VilasAMNRGDC05 %V 3571 %@ 3-540-27326-3

@inproceedings{conf/ecsqaru/VilasAMNRGDC05, added-at = {2023-06-26T00:00:00.000+0200}, author = {Vilas, Ana Fernández and Pazos-Arias, José Juan and Barragáns-Martínez, Ana Belén and Nores, Martín López and Redondo, Rebeca P. Díaz and Gil-Solla, Alberto and Duque, Jorge García and Cabrer, Manuel Ramos}, biburl = {https://www.bibsonomy.org/bibtex/22733721e7f8da9ebea04d2ed678dd6bb/dblp}, booktitle = {ECSQARU}, crossref = {conf/ecsqaru/2005}, editor = {Godo, Lluís}, ee = {https://doi.org/10.1007/11518655_54}, interhash = {a05c4d0cd88c36428d92831c50d20f64}, intrahash = {2733721e7f8da9ebea04d2ed678dd6bb}, isbn = {3-540-27326-3}, keywords = {dblp}, pages = {638-649}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T17:36:37.000+0200}, title = {Multi-valued Model Checking in Dense-Time.}, url = {http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru2005.html#VilasAMNRGDC05}, volume = 3571, year = 2005 }