Sortiert nach
1st edition, 2014
Volltextzugriff (PDF)
Theoretical computer science, 2018-07, Vol.735, p.111-131
2018
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.331-346
Volltextzugriff (PDF)
Logical methods in computer science, 2024-03, Vol.20, Issue 1
2024
Volltextzugriff (PDF)
Information processing letters, 2018-04, Vol.132 (132), p.19-21
2018
Volltextzugriff (PDF)
Information processing letters, 2022-04, Vol.175, p.106231, Article 106231
2022
Volltextzugriff (PDF)
Reachability Problems, 2014, p.125-137
2014
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, 2005, p.211-225
2005
Volltextzugriff (PDF)
1st ed. 2015, 2015
Volltextzugriff (PDF)
2013
Volltextzugriff (PDF)
Information processing letters, 2022-03, Vol.174, p.106208, Article 106208
2022
Volltextzugriff (PDF)
1. Aufl., 2013
Volltextzugriff (PDF)
Application and Theory of Petri Nets, p.398-407
Volltextzugriff (PDF)
Information and computation, 2019-12, Vol.269, p.104441-33, Article 104441
2019
Volltextzugriff (PDF)
Discrete event dynamic systems, 2021-06, Vol.31 (2), p.251-270
2021
Volltextzugriff (PDF)
Discrete event dynamic systems, 2020-12, Vol.30 (4), p.695-723
2020
Volltextzugriff (PDF)
Journal of computer and system sciences, 2017-02, Vol.83 (1), p.101-120
2017
Volltextzugriff (PDF)
2013
Volltextzugriff (PDF)
Application and Theory of Petri Nets, p.148-167
Volltextzugriff (PDF)
ACM transactions on computational logic, 2017, Vol.18 (3), p.1-28
2017
Volltextzugriff (PDF)
Language and Automata Theory and Applications, 2020, p.170-183
2020
Volltextzugriff (PDF)
Performance evaluation, 2015-08, Vol.90, p.53-77
2015
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, 2020, Vol.12288, p.215-230
2020
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2009-03, Vol.35 (2), p.224-240
2009
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Life Sciences & Biomedicine
- Humans
- Computer Science, Theory & Methods
- Physical Sciences
- Female
- Software Engineering
- Chemistry
- Male
- Chemical Sciences
- Computer Programming / Software Development
- Child
- Infant
- Child, Preschool
- Prevalence
- Adolescent
- Computer Science, Software Engineering
- Petri Nets
Kollektion
- Ingenta
- SpringerLink Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library All Obooks
- Taylor & Francis:Master (3349 titles)
- Taylor & Francis
- Taylor & Francis Journals
- IngentaConnect Journals
- IEEE Xplore
- SpringerLink (Online service)
- Journals@Ovid Ovid Full Text
- Publisher or Other Site
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library
- ACM Digital Library Complete
Zeitschrift / Serie
Neu hinzugefügt