Original language | English |
---|---|
Title of host publication | FM 2009: Formal Methods |
Editors | A Cavalcanti, D Dams |
Place of Publication | Berlin Heidelberg, Germany |
Publisher | Springer |
Pages | 403-418 |
Volume | 5850 |
Edition | Eindhoven, Netherlands |
ISBN (Print) | 03029743 |
DOIs | |
Publication status | Published - 2009 |
Event | A Tableau for CTL* - Eindhoven, Netherlands Duration: 1 Jan 2009 → … |
Conference
Conference | A Tableau for CTL* |
---|---|
Period | 1/01/09 → … |