The SCEAS System
Navigation Menu

Journals in DBLP

Sci. Comput. Program.
1997, volume: 29, number: 1-2

  1. Jan Friso Groote, Martin Rem
    Foreword. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:1-2 [Journal]
  2. Glenn Bruns
    An Industrial Application of Modal Process Logic. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:3-22 [Journal]
  3. Tatjana Kapus, Zmago Brezocnik
    Verification of XTP Context Management Closing Procedure in Style of TLA. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:23-52 [Journal]
  4. Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods
    Making the Most of Formal Specification Through Animation, Testing and Proof. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:53-78 [Journal]
  5. Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea
    Symbolic Techniques for Formally Verifying Industrial Systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:79-98 [Journal]
  6. Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
    Modeling and Verifying Active Structural Control Systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:99-122 [Journal]
  7. Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
    An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:123-146 [Journal]
  8. Matthew J. Morley
    Safety-Level Communication in Railway Interlockings. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:147-170 [Journal]
  9. Hubert Garavel, Laurent Mounier
    Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:171-197 [Journal]
  10. Jan A. Bergstra, Joris A. Hillebrand, Alban Ponse
    Grid Protocols Based on Synchronous Communication. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:199-233 [Journal]
  11. S. H. J. Bos, Michel A. Reniers
    The I²C-Bus in Discrete-Time Process Algebra. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:235-258 [Journal]
  12. Henri Korver
    Detecting Feature Interactions with CÆSAR/ALDÉBARAN. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:259-278 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002