Journals in DBLP

Formal Asp. Comput.
2006, volume: 18, number: 4

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 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]