Journals in DBLP

Fundam. Inform.
2007, volume: 78, number: 1

1. Robert Clarisó, Jordi Cortadella
   Verification of Concurrent Systems with Parametric Delays Using Octahedra. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:78, n:1, pp:1-33 [Journal]
   
2. Marc Geilen, Twan D. Basten, Bart Theelen, Ralph Otten
   An Algebra of Pareto Points. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:78, n:1, pp:35-74 [Journal]
   
3. Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev
   Automating Synthesis of Asynchronous Communication Mechanisms. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:78, n:1, pp:75-100 [Journal]
   
4. Mark B. Josephs, Hemangee K. Kapoor
   Controllable Delay-Insensitive Processes. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:78, n:1, pp:101-130 [Journal]
   
5. Dumitru Potop-Butucaru, Benoît Caillaud
   Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:78, n:1, pp:131-159 [Journal]
   
6. Walter Vogler, Ben Kangsah
   Improved Decomposition of Signal Transition Graphs. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:78, n:1, pp:161-197 [Journal]