Sortiert nach
1st edition, 2014
Link zum Volltext
Theoretical computer science, 2018-07, Vol.735, p.111-131
2018
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.331-346
Link zum Volltext
Information processing letters, 2018-04, Vol.132 (132), p.19-21
2018
Link zum Volltext
Information processing letters, 2022-04, Vol.175, p.106231, Article 106231
2022
Link zum Volltext
Reachability Problems, 2014, p.125-137
2014
Link zum Volltext
Formal Modeling and Analysis of Timed Systems, 2005, p.211-225
2005
Link zum Volltext
1st ed. 2015, 2015
Link zum Volltext
Information processing letters, 2022-03, Vol.174, p.106208, Article 106208
2022
Link zum Volltext
Language and Automata Theory and Applications, 2020, p.170-183
2020
Link zum Volltext
1. Aufl., 2013
Link zum Volltext
Information and computation, 2019-12, Vol.269, p.104441-33, Article 104441
2019
Link zum Volltext
Discrete event dynamic systems, 2021-06, Vol.31 (2), p.251-270
2021
Link zum Volltext
Discrete event dynamic systems, 2020-12, Vol.30 (4), p.695-723
2020
Link zum Volltext
Logical methods in computer science, 2024-03, Vol.20, Issue 1
2024
Link zum Volltext
ACM transactions on computational logic, 2017, Vol.18 (3), p.1-28
2017
Link zum Volltext
Formal Modeling and Analysis of Timed Systems, 2020, Vol.12288, p.215-230
2020
Link zum Volltext
Performance evaluation, 2015-08, Vol.90, p.53-77
2015
Link zum Volltext
IEEE transactions on software engineering, 2009-03, Vol.35 (2), p.224-240
2009
- Link zum Volltext
Acta informatica, 2007-12, Vol.44 (7-8), p.463-508
2007
Link zum Volltext
Reachability Problems, p.127-140
Link zum Volltext
International journal on software tools for technology transfer, 2023-06, Vol.25 (3), p.341-354
2023
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- Ingenta
- MEDLINE
- Elsevier ScienceDirect Journals
- SpringerLink Series
- EZB Electronic Journals Library
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library All Obooks
- Taylor & Francis Current Content Access
- Taylor & Francis
- Taylor & Francis Journals Auto-Holdings Collection
- IngentaConnect Journals
- SpringerLink (Online service)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IEEE/IET Electronic Library
- NUS Single-Journal Subscriptions
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals
- ACM Digital Library
Zeitschrift / Serie
Neu hinzugefügt