Volume 32, Issue 2 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 32, Issue 2

April 2008

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

A congruence relation for sPBC
Hermenegilda Macià
Valentín Valero
David de-Frutos
OriginalPaper 05 December 2007 Pages: 85 - 128
Verification of parametric concurrent systems with prioritised FIFO resource management
Ahmed Bouajjani
Peter Habermehl
Tomáš Vojnar
OriginalPaper 25 January 2008 Pages: 129 - 172