Skip to Main Content (Press Enter)
×
Home
People
Outputs
Organizations
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
People
Outputs
Organizations
Expertise & Skills
☰
Outputs
Bounded Reachability for Temporal Logic over Constraint Systems
Conference Paper
Publication Date:
2010
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
temporal logic; model checking
List of contributors:
Pradella, Matteo
Handle:
https://iris.cnr.it/handle/20.500.14243/68699
