Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday: Bengt Jonsson 0001 , 2021
- Ernst-Rüdiger Olderog, Bernhard Steffen
, Wang Yi:
Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 13030, Springer 2021, ISBN 978-3-030-91383-0 - Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
Model Checking, Synthesis, and Learning. 1-7 - Yih-Kuen Tsay, Moshe Y. Vardi:
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. 8-40 - Jakaria Abdullah, Wang Yi:
Cause-Effect Reaction Latency in Real-Time Systems. 41-56 - Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard:
Quantitative Analysis of Interval Markov Chains. 57-77 - Parosh Aziz Abdulla:
Regular Model Checking: Evolution and Perspectives. 78-96 - Anthony W. Lin, Philipp Rümmer:
Regular Model Checking Revisited. 97-114 - Manuel Gieseking, Ernst-Rüdiger Olderog:
High-Level Representation of Benchmark Families for Petri Games. 115-137 - Tiziana Margaria, Alexander Schieweck:
Towards Engineering Digital Twins by Active Behaviour Mining. 138-163 - Markus Frohme, Bernhard Steffen:
Never-Stop Context-Free Learning. 164-185 - Simon Dierl, Falk Howar:
A Taxonomy and Reductions for Common Register Automata Formalisms. 186-218
a service of 
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.
last updated on 2024-06-10 21:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
