Ausgabe 1/2015
Inhalt (3 Artikel)
Generating models of infinite-state communication protocols using regular inference with abstraction
Fides Aarts, Bengt Jonsson, Johan Uijen, Frits Vaandrager
A game approach to determinize timed automata
Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
Vacuity in practice: temporal antecedent failure
Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah