![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
75th Birthday: Egon Börger , 2021
- Alexander Raschke
, Elvinia Riccobene
, Klaus-Dieter Schewe
:
Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 12750, Springer 2021, ISBN 978-3-030-76019-9 - Yamine Aït Ameur
, Régine Laleau
, Dominique Méry
, Neeraj Kumar Singh
:
Towards Leveraging Domain Knowledge in State-Based Formal Methods. 1-13 - Klaus Ambos-Spies:
Some Observations on Mitotic Sets. 14-28 - Richard Banach, Huibiao Zhu:
Moded and Continuous Abstract State Machines. 29-62 - Don S. Batory, Jeho Oh, Ruben Heradio
, David Benavides:
Product Optimization in Stepwise Design. 63-81 - Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner:
Semantic Splitting of Conditional Belief Bases. 82-95 - Jonathan P. Bowen
:
Communities and Ancestors Associated with Egon Börger and ASM. 96-120 - Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Language and Communication Problems in Formalization: A Natural Language Approach. 121-134 - Flavio Ferrarotti, Senén González:
ASM Specification and Refinement of a Quantum Algorithm. 135-146 - Michael Leuschel
:
Spot the Difference: A Detailed Comparison Between B and Event-B. 147-172 - Johann A. Makowsky:
Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond. 173-186 - Emanuele Covino, Giovanni Pani:
Analysis of Mobile Networks' Protocols Based on Abstract State Machine. 187-198 - Andreas Prinz
:
What is the Natural Abstraction Level of an Algorithm? 199-214 - Paolo Arcaini
, Andrea Bombarda
, Silvia Bonfanti
, Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
The ASMETA Approach to Safety Assurance of Software Systems. 215-238 - Stefan Bodenmüller
, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif:
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. 239-265 - Klaus-Dieter Schewe:
Computation on Structures - Behavioural Theory, Logic, Complexity. 266-282 - Matthes Elstermann, André Wolski, Albert Fleischmann, Christian Stary, Stephan Borgert:
The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. 283-300 - Bernhard Thalheim
:
Models and Modelling in Computer Science. 301-325 - Wolf Zimmermann, Mandy Weißbach:
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. 326-352
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.