Ausgabe 4/2006
Inhalt (5 Artikel)
ORIGINAL ARTICLE
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams
Jennifer Tenzer, Perdita Stevens
Original Article
An approximation algorithm for state minimization in 2-MDFAs
K. Subramani, C. Tauras
Original Article
Analysis of a biphase mark protocol with Uppaal and PVS
F. W. Vaandrager, A. L. de Groot