Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...International journal on software tools for technology transfer, 2013-04, Vol.15 (2), p.89-107
2013
Volltextzugriff (PDF)
1, 2003
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-03, Vol.244 (Proc. MARS 2017), p.230-270
2017
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2019-04, Vol.104, p.60-85
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.268 (Proc. MARS/VPT 2018), p.41-87
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-03, Vol.244 (Proc. MARS 2017), p.129-183
2017
Volltextzugriff (PDF)
A Journey from Process Algebra Via Timed Automata to Model Learning, 2022, Vol.13560, p.213-265
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2024, Vol.399, p.21-100
2024
Volltextzugriff (PDF)
Models, Mindsets, Meta: The What, the How, and the Why Not?, 2019, p.186-207
2019
Volltextzugriff (PDF)
Application and Theory of Petri Nets and Concurrency, p.339-359
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2015-11, Vol.84 (6), p.742-762
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020-04, Vol.316
2020
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.3-69
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.151-157
2004
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2006-02, Vol.8 (1), p.1-3
2006
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2019, p.3
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021-11, Vol.349, p.1-11
2021
Volltextzugriff (PDF)
Recent Trends in Algebraic Development Techniques, p.120-134
Volltextzugriff (PDF)
ModelEd, TestEd, TrustEd, 2017, Vol.10500, p.3-26
2017
Volltextzugriff (PDF)
Application and Theory of Petri Nets and Concurrency, 2015, Vol.9115, p.179-199
2015
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.553-568
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.331-346
Volltextzugriff (PDF)
Transactions on Petri Nets and Other Models of Concurrency XVII, 2023, Vol.14150, p.1-26
2023
Volltextzugriff (PDF)
2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2018, p.34-42
2018
Volltextzugriff (PDF)
Acta informatica, 2015-06, Vol.52 (4-5), p.337-392
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Model Check
- Software Engineering
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Label Transition System
- Programming Languages
- Verification
- Process Algebra
- Formal Languages And Automata Theory
- Model Checking
- Process Calculus
- Lotos
- Concurrency Theory
Kollektion
- Ingenta Connect
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Association for Computing Machinery
- IEL
- SpringerLink_现刊
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
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming
- Theoretical Computer Science
- Acta Informatica
- Computer Networks
Neu hinzugefügt