Search dblp for Publications

export results for "toc:db/conf/asm/asm98.bht:"

 download as .bib file

@inproceedings{DBLP:conf/asm/BellaR98,
  author       = {Giampaolo Bella and
                  Elvinia Riccobene},
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {A Realistic Environment for Crypto-Protocol Analyses by ASMs},
  booktitle    = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  pages        = {127--138},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 17:22:56 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/BellaR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/Castillo98,
  author       = {Giuseppe Del Castillo},
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {The {ASM} Workbench: an Open and Extensible Tool Environment for Abstract
                  State Machines},
  booktitle    = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  pages        = {139--154},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/Castillo98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/DiesenST98,
  author       = {Dag Diesen and
                  Trond Ove Svendsen and
                  Bj{\o}rn Thorstensen},
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {Developing New ASM-tools},
  booktitle    = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  pages        = {155--158},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/DiesenST98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/DoldGVZ98,
  author       = {Axel Dold and
                  Thilo Gaul and
                  Vincent Vialard and
                  Wolf Zimmermann},
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {ASM-based Mechanized Verification of Compiler Back-Ends},
  booktitle    = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  pages        = {50--67},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/DoldGVZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/Durand98,
  author       = {Arnaud Durand},
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {Modeling Cache Coherence Protocol - {A} Case Study with {FLASH}},
  booktitle    = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  pages        = {111--126},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/Durand98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/HerberleL98,
  author       = {Andreas Heberle and
                  Welf L{\"{o}}we},
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {On ASM-Based Specification of Programming Language Semantics and Reusable
                  Correct Compilations},
  booktitle    = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  pages        = {68--90},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/HerberleL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/MaiaIB98,
  author       = {Marcelo de Almeida Maia and
                  Vladimir Oliveira Di Iorio and
                  Roberto da Silva Bigonha},
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {Interacting Abstract State Machines},
  booktitle    = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  pages        = {37--49},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/MaiaIB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/Schonfeld98,
  author       = {Wolfgang Sch{\"{o}}nfeld},
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {Interacting Abstract State Machines},
  booktitle    = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  pages        = {22--36},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/Schonfeld98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/Tonino98,
  author       = {Hans Tonino},
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {A Sound and Complete SOS-Semantics for Non-Distributed Deterministic
                  Abstract State Machines},
  booktitle    = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  pages        = {91--110},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/Tonino98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/Zamulin98,
  author       = {Alexandre V. Zamulin},
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {Object-Oriented Abstract State Machines},
  booktitle    = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  pages        = {1--21},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/Zamulin98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/asm/1998,
  editor       = {Uwe Gl{\"{a}}sser and
                  Peter H. Schmitt},
  title        = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
                  Magdeburg, Germany, September 21-22, Proceedings},
  year         = {1998},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.