default search action

combined dblp search
author search
venue search
publication search

ask others

5. ASM 1998: Magdeburg, Germany

> Home > Conferences and Workshops > ASM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/1998
Uwe Glässer, Peter H. Schmitt:
Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings. 1998

New ASM Concepts

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Zamulin98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Zamulin98
Alexandre V. Zamulin:
Object-Oriented Abstract State Machines. Workshop on Abstract State Machines 1998: 1-21
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Schonfeld98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Schonfeld98
Wolfgang Schönfeld:
Interacting Abstract State Machines. Workshop on Abstract State Machines 1998: 22-36
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/MaiaIB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/MaiaIB98
Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha:
Interacting Abstract State Machines. Workshop on Abstract State Machines 1998: 37-49

Compiler Correctness and Formal Semantics

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/DoldGVZ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/DoldGVZ98
Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann:
ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines 1998: 50-67
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/HerberleL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/HerberleL98
Andreas Heberle, Welf Löwe:
On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations. Workshop on Abstract State Machines 1998: 68-90
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Tonino98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Tonino98
Hans Tonino:
A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. Workshop on Abstract State Machines 1998: 91-110

Analysis and Verification of Protocols

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Durand98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Durand98
Arnaud Durand:
Modeling Cache Coherence Protocol - A Case Study with FLASH. Workshop on Abstract State Machines 1998: 111-126
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/BellaR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BellaR98
Giampaolo Bella, Elvinia Riccobene:
A Realistic Environment for Crypto-Protocol Analyses by ASMs. Workshop on Abstract State Machines 1998: 127-138

ASM Tool Support

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Castillo98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Castillo98
Giuseppe Del Castillo:
The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. Workshop on Abstract State Machines 1998: 139-154
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/DiesenST98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/DiesenST98
Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen:
Developing New ASM-tools. Workshop on Abstract State Machines 1998: 155-158

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.