Symbolic and Quantitative Approaches to Reasoning with Uncertainty

DOI10.1007/B138862zbMath1122.68472OpenAlexW3187471853MaRDI QIDQ5473747

Martín López Nores, Jorge García Duque, Ana Fernándezvilas, Rebeca P. Díaz-Redondo, Manuel Ramos Cabrer, A. Belén Barragáns Martínez, José J. Pazos Arias, Alberto Gil-Solla

Publication date: 23 June 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b138862

zbMATH Keywords

model checkingformal methodsmulti-valued logicdense real-time

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Abstraction and approximation in fuzzy temporal logics and models

This page was built for publication: Symbolic and Quantitative Approaches to Reasoning with Uncertainty