The SCEAS System
Navigation Menu

Conferences in DBLP

Workshops on Abstract State Machines (asm)
1998 (conf/asm/98)

  1. Alexandre V. Zamulin
    Object-Oriented Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:1-21 [Conf]
  2. Wolfgang Schönfeld
    Interacting Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:22-36 [Conf]
  3. Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha
    Interacting Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:37-49 [Conf]
  4. Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
    ASM-based Mechanized Verification of Compiler Back-Ends. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:50-67 [Conf]
  5. Andreas Heberle, Welf Löwe
    On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:68-90 [Conf]
  6. Hans Tonino
    A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:91-110 [Conf]
  7. Arnaud Durand
    Modeling Cache Coherence Protocol - A Case Study with FLASH. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:111-126 [Conf]
  8. Giampaolo Bella, Elvinia Riccobene
    A Realistic Environment for Crypto-Protocol Analyses by ASMs. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:127-138 [Conf]
  9. Giuseppe Del Castillo
    The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:139-154 [Conf]
  10. Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen
    Developing New ASM-tools. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:155-158 [Conf]
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