Journals in DBLP

Theor. Comput. Sci.
2001, volume: 253, number: 1

1. Miquel Bertran, Teodor Rus
   Papers from ARTS'97 - Preface. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:1, pp:1- [Journal]
   
2. Manfred Broy
   Refinement of time. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:1, pp:3-26 [Journal]
   
3. Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
   Deductive verification of real-time systems using STeP. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:1, pp:27-60 [Journal]
   
4. Henning Dierks
   PLC-automata: a new class of implementable real-time automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:1, pp:61-93 [Journal]
   
5. Sérgio Vale Aguiar Campos, Edmund M. Clarke
   The Verus language: representing time efficiently with BDDs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:1, pp:95-118 [Journal]
   
6. Zhiming Liu, Mathai Joseph
   Verification, refinement and scheduling of real-time programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:1, pp:119-152 [Journal]