Journals in DBLP
Jennifer Tenzer , Perdita Stevens On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2006, v:18, n:4, pp:397-420 [Journal ] K. Subramani , C. Tauras An approximation algorithm for state minimization in 2-MDFAs. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2006, v:18, n:4, pp:421-431 [Journal ] Frits W. Vaandrager , Adriaan de Groot Analysis of a biphase mark protocol with Uppaaland PVS. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2006, v:18, n:4, pp:433-458 [Journal ] Howard Bowman , Rodolfo Gómez How to stop time stopping. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2006, v:18, n:4, pp:459-493 [Journal ] David J. Pym , Chris M. N. Tofts A Calculus and logic of resources and processes. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2006, v:18, n:4, pp:495-517 [Journal ]