researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Formal Methods in System Design
Home
Index
Info
Issue
Volume
46
, Issue
1
1
--
41
Fides Aarts
,
Bengt Jonsson
,
Johan Uijen
,
Frits W. Vaandrager
.
Generating models of infinite-state communication protocols using regular inference with abstraction
42
--
80
Nathalie Bertrand
,
Amélie Stainer
,
Thierry Jéron
,
Moez Krichen
.
A game approach to determinize timed automata
81
--
104
Shoham Ben-David
,
Fady Copty
,
Dana Fisman
,
Sitvanit Ruah
.
Vacuity in practice: temporal antecedent failure