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]