Journals in DBLP

Fundam. Inform.
2004, volume: 62, number: 2

1. Ryszard Janicki
   Preface. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:62, n:2, pp:- [Journal]
   
2. Yves Bontemps, Pierre-Yves Schobbens, Christof Löding
   Synthesis of Open Reactive Systems from Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:62, n:2, pp:139-169 [Journal]
   
3. Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe
   Quasi-static Scheduling for Concurrent Architectures. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:62, n:2, pp:171-196 [Journal]
   
4. Javier Esparza
   A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:62, n:2, pp:197-220 [Journal]
   
5. Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
   Detecting State Encoding Conflicts in STG Unfoldings Using SAT. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:62, n:2, pp:221-241 [Journal]
   
6. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
   Formal Refinement Checking in a System-level Design Methodology. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:62, n:2, pp:243-273 [Journal]