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...Fundamenta informaticae, 2022-01, Vol.187 (2-4), p.103-138
2022
Volltextzugriff (PDF)
Fundamenta informaticae, 2024-09, Vol.192 (3-4), p.363-394
2024
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2020-04, Vol.22 (2), p.163-181
2020
Volltextzugriff (PDF)
The Journal of systems and software, 2021-11, Vol.181, p.111033, Article 111033
2021
Volltextzugriff (PDF)
Formal Methods, p.445-453
Volltextzugriff (PDF)
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2018, p.2-9
2018
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.246-263
2003
Volltextzugriff (PDF)
International journal of critical computer-based systems, 2014, Vol.5 (1/2), p.4
2014
Volltextzugriff (PDF)
Robotics and autonomous systems, 2023-01, Vol.159, p.104301, Article 104301
2023
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2023-02, Vol.25 (1), p.95-114
2023
Volltextzugriff (PDF)
Application and Theory of Petri Nets and Concurrency, 2020, p.426-435
2020
Volltextzugriff (PDF)
Topics in Theoretical Computer Science, 2016, Vol.9541, p.90-104
2016
Volltextzugriff (PDF)
Application and Theory of Petri Nets and Concurrency, p.164-185
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.101-123
Volltextzugriff (PDF)
Applicable algebra in engineering, communication and computing, 2006-10, Vol.17 (5), p.337-377
2006
Volltextzugriff (PDF)
Science of computer programming, 2021-06, Vol.206, p.102624, Article 102624
2021
Volltextzugriff (PDF)
Model Checking Software, p.45-62
Volltextzugriff (PDF)
Computer Science Logic, 2004, p.265-279
2004
Volltextzugriff (PDF)
Model Checking Software, p.65-84
Volltextzugriff (PDF)
Lecture notes in computer science, 2000, p.88-103
2000
Volltextzugriff (PDF)
Science of computer programming, 2016-12, Vol.132 (Part 2), p.209-225
2016
Volltextzugriff (PDF)
2020 59th IEEE Conference on Decision and Control (CDC), 2020, p.104-109
2020
Volltextzugriff (PDF)
Application and Theory of Petri Nets and Concurrency, p.324-345
Volltextzugriff (PDF)
CONCUR 2004 - Concurrency Theory, 2004, p.68-82
2004
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.79-95
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Logic In Computer Science
- Computer Science, Software Engineering
- Embedded Systems
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Model Checking
- Petri Nets
- Theoretical Computing
- Software
- Software Engineering
- Formal Verification
- Programming Languages
- Model Check
- Algorithmics. Computability. Computer Arithmetics
- Mathematics
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- IEEE/IET Electronic Library (IEL)
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- Cambridge Journals Online (DEFF)
- IngentaConnect Journals
Zeitschrift / Serie
- Fundamenta Informaticae
- International Journal On Software Tools For Technology Transfer
- Journal Of Functional Programming
- Science Of Computer Programming
- Theoretical Computer Science
- Applicable Algebra In Engineering, Communication And Computing
- International Journal Of Critical Computer-Based Systems
- Journal Of Systems And Software/the journal Of Systems And Software
- Proceedings Of The 31st Acm Sigplan-Sigact Symposium On Principles Of Programming Languages
- Robotics And Autonomous Systems
Neu hinzugefügt