Ausgabe 4/2019
Inhalt (3 Artikel)
Original Article
A generalised theory of Interface Automata, component compatibility and error
Sascha Fendrich, Gerald Lüttgen
Original Article
Equivalence checking of Petri net models of programs using static and dynamic cut-points
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal
Original Article
On the decidability of the existence of polyhedral invariants in transition systems
David Monniaux