Sortiert nach
1st Edition 2021, 2021
Link zum Volltext
International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.735-756
2022
Link zum Volltext
Software and systems modeling, 2015-02, Vol.14 (1), p.149-172
2015
Link zum Volltext
Theoretical computer science, 2006-05, Vol.356 (3), p.325-355
2006
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Link zum Volltext
Cybersecurity (Singapore), 2019-12, Vol.2 (1), p.1-21, Article 6
2019
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 1
2021
Link zum Volltext
Acta informatica, 2018-08, Vol.55 (5), p.401-444
2018
Link zum Volltext
ACM transactions on computational logic, 2015-11, Vol.16 (4), p.1-39
2015
Link zum Volltext
Theoretical computer science, 2005-10, Vol.343 (3), p.332-369
2005
Link zum Volltext
Theoretical computer science, 2010-03, Vol.411 (11), p.1338-1371
2010
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-03, Vol.206 (Proc. FMSPLE 2016), p.61-75
2016
Link zum Volltext
Logical methods in computer science, 2017-01, Vol.13, Issue 4
2017
Link zum Volltext
Computer journal, 2014-01, Vol.57 (1), p.73-92
2014
Link zum Volltext
1, 2021
Link zum Volltext
Journal of logical and algebraic methods in programming, 2023-04, Vol.132, p.100858, Article 100858
2023
Link zum Volltext
ACM transactions on computational logic, 2012-01, Vol.13 (1), p.1-35
2012
Link zum Volltext
Electronic proceedings in theoretical computer science, 2021, Vol.347, p.57-76
2021
Link zum Volltext
CONCUR 2006 – Concurrency Theory, 2006, p.327-342
2006
Link zum Volltext
SOFSEM 2012: Theory and Practice of Computer Science, Vol.7147, p.277-288
Link zum Volltext
International journal on software tools for technology transfer, 2022-06, Vol.24 (3), p.441-472
2022
Link zum Volltext
Science of computer programming, 2020-03, Vol.188, p.102389, Article 102389
2020
Link zum Volltext
International journal on software tools for technology transfer, 2022-06, Vol.24 (3), p.325-330
2022
Link zum Volltext
Integrated Formal Methods, 2004, p.343-362
2004
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
- Label Transition System
- Software Engineering
- Logic
- Model Check
- Science & Technology - Other Topics
- Software
- Mathematics
- Software Engineering/programming And Operating Systems
- Applied Sciences
- Computer Science; Control Theory; Systems
- Equation System
- Exact Sciences And Technology
- Process Algebra
- Model Checking
- Parameterised Boolean Equation Systems
Kollektion
- Ebook Central Perpetual and DDA
- Springer Books
- eBooks on EBSCOhost
- Ingenta
- Springer Book Series (Lecture Notes)
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- SpringerNature Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- Oxford Journals
- IngentaConnect Journals
- JSTOR All Journals
- Nexis Uni (LexisNexis)
- BMJ Journals
- Nature Journals
- NUS Single-Journal Subscriptions
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Logical Methods In Computer Science
- International Journal On Software Tools For Technology Transfer
- Theoretical Computer Science
- Acm Transactions On Computational Logic
- Doaj
- Science Of Computer Programming
- Acta Informatica
- Arxiv