Sortiert nach
Logical methods in computer science, 2023-01, Vol.19, Issue 2
2023
Link zum Volltext
Algorithms, 2018-09, Vol.11 (9), p.131
2018
Link zum Volltext
Logical methods in computer science, 2015-12, Vol.11, Issue 4
2015
Link zum Volltext
1, 2013
Link zum Volltext
Scientific annals of computer science, 2013-01, Vol.23 (1), p.39-73
2013
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.132-151
Link zum Volltext
Formal Methods, p.263-281
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.63-78
2015
Link zum Volltext
BioSystems, 2014-10, Vol.124, p.75-85
2014
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.79-94
2015
Link zum Volltext
Formal aspects of computing, 2021, Vol.33 (1), p.1-2
2021
Link zum Volltext
Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2
2021
Link zum Volltext
Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-03, Vol.206 (Proc. FMSPLE 2016), p.61-75
2016
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-04, Vol.182 (Proc. FMSPLE 2015), p.14-30
2015
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.856-873
Link zum Volltext
Electronic proceedings in theoretical computer science, 2023-09, Vol.387, p.42-58
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-08, Vol.60 (Proc. PACO 2011), p.1-18
2011
Link zum Volltext
Formal aspects of computing, 2012-03, Vol.24 (2), p.187-216
2012
Link zum Volltext
From Software Engineering to Formal Methods and Tools, and Back, p.449-463
Link zum Volltext
Lecture notes in computer science, 2004, p.1-43
2004
Link zum Volltext
Science of computer programming, 2020-02, Vol.186, p.102341, Article 102341
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Humans
- Male
- Middle Aged
- Aged
- Applied Sciences
- Exact Sciences And Technology
- Artificial Intelligence
- Bisimulation
- Computation By Abstract Devices
- Computational Biology/bioinformatics
- Computer Science; Control Theory; Systems
- Female
- Model Check
- Simulation And Modeling
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- IngentaConnect Journals
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- ACM Digital Library Complete
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- NUS Single-Journal Subscriptions
- JSTOR All Journals
- EBSCOhost Business Source Ultimate
- Oxford University Press Journals Current
- EBSCOhost Psychology and Behavioral Sciences Collection
- Oxford Journals 2020 Medicine
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Formal Aspects Of Computing
- The New England Journal Of Medicine
- Logical Methods In Computer Science
- New England Journal Of Medicine
- Scientific Annals Of Computer Science
- Algorithms
- Arxiv