Volume 31, Issue 2 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 31, Issue 2

October 2007

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Timed substitutions for regular signal-event languages
Béatrice Bérard
Paul Gastin
Antoine Petit
OriginalPaper 31 March 2007 Pages: 101 - 134
On the optimal reachability problem of weighted timed automata
Patricia Bouyer
Thomas Brihaye
Jean-François Raskin
OriginalPaper 11 April 2007 Pages: 135 - 175
GSTE is partitioned model checking
Roberto Sebastiani
Eli Singerman
Moshe Y. Vardi
OriginalPaper 26 May 2007 Pages: 177 - 196