Sortiert nach
International journal on software tools for technology transfer, 2013-04, Vol.15 (2), p.89-107
2013
Link zum Volltext
1, 2003
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-03, Vol.244 (Proc. MARS 2017), p.230-270
2017
Link zum Volltext
Electronic proceedings in theoretical computer science, 2018, Vol.268 (Proc. MARS/VPT 2018), p.41-87
2018
Link zum Volltext
Journal of logical and algebraic methods in programming, 2019-04, Vol.104, p.60-85
2019
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-03, Vol.244 (Proc. MARS 2017), p.129-183
2017
Link zum Volltext
Models, Mindsets, Meta: The What, the How, and the Why Not?, 2019, p.186-207
2019
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, p.339-359
Link zum Volltext
Journal of logical and algebraic methods in programming, 2015-11, Vol.84 (6), p.742-762
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2020-04, Vol.316
2020
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.3-69
Link zum Volltext
Lecture notes in computer science, 2004, p.151-157
2004
Link zum Volltext
A Journey from Process Algebra Via Timed Automata to Model Learning, 2022, Vol.13560, p.213-265
2022
Link zum Volltext
International journal on software tools for technology transfer, 2006-02, Vol.8 (1), p.1-3
2006
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, 2019, p.3
2019
Link zum Volltext
Recent Trends in Algebraic Development Techniques, p.120-134
Link zum Volltext
Electronic proceedings in theoretical computer science, 2021-11, Vol.349, p.1-11
2021
Link zum Volltext
2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2018, p.34-42
2018
- Link zum Volltext
Acta informatica, 2015-06, Vol.52 (4-5), p.337-392
2015
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.189-210
Link zum Volltext
ModelEd, TestEd, TrustEd, 2017, Vol.10500, p.3-26
2017
Link zum Volltext
Rewriting Logic and Its Applications, 2018, p.1-25
2018
Link zum Volltext
Model Checking Software, p.241-260
Link zum Volltext
Transactions on Petri Nets and Other Models of Concurrency XVII, 2023, Vol.14150, p.1-26
2023
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.372-387
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software Engineering
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Process Algebra
- Programming Languages
- Verification
- Formal Languages And Automata Theory
- Label Transition System
- Lotos
- Process Calculus
- Model Check
- Model Checking
- Specification
Kollektion
- Ebook Central Perpetual and DDA
- Springer Books
- eBooks on EBSCOhost
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEL
- SpringerLink (Online service)
- ACM Digital Library
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Journal Of Logical And Algebraic Methods In Programming
- Theoretical Computer Science
- Acta Informatica
- Computer Networks