Sortiert nach
Model Checking, Synthesis, and Learning, 2021, Vol.13030, p.8-40
2021
Volltextzugriff (PDF)
Principles of Systems Design, p.185-207
Volltextzugriff (PDF)
Formal Methods, p.465-482
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.2-17
Volltextzugriff (PDF)
Information and computation, 2000-07, Vol.160 (1-2), p.109-127
2000
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2013-04, Vol.15 (2), p.109-123
2013
Volltextzugriff (PDF)
Logical methods in computer science, 2014-12, Vol.10, Issue 4
2014
Volltextzugriff (PDF)
Computer Aided Verification, p.883-889
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2005, p.474-488
1ère éd, 2005
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.466-471
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2005, p.489-503
1ère éd, 2005
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.31-45
Volltextzugriff (PDF)
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1996, p.313-321
1996
Volltextzugriff (PDF)
Computer Aided Verification, p.428-432
Volltextzugriff (PDF)
FME 2003: Formal Methods, 2003, p.719-738
2003
Volltextzugriff (PDF)
Implementation and Application of Automata, p.261-271
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification, and Validation, p.643-657
Volltextzugriff (PDF)
Computer Aided Verification, p.511-526
Volltextzugriff (PDF)
Formal aspects of computing, 2009-05, Vol.21 (3), p.259-275
2009
Volltextzugriff (PDF)
Implementation and Applications of Automata, p.36-45
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.262-266
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2005, p.217-233
1ère éd, 2005
Volltextzugriff (PDF)
IEEE transactions on parallel and distributed systems, 1994-07, Vol.5 (7), p.737-748
1994
Volltextzugriff (PDF)
SIGPLAN notices, 2010-01, Vol.45 (1), p.211-222
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Software Engineering
- Model Check
- Linear Temporal Logic
- Temporal Logic
- Computer Science, Information Systems
- Regular Language
- Computer Systems And Distributed Systems. User Interface
- Reachability Analysis
- Safety Property
- Mathematics
- Refinement
Kollektion
- Ingenta
- Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Electronic Journals Library
- SpringerLink
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- IEEE/IET Electronic Library (IEL)
- ScienceDirect Journals (5 years ago - present)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- BSC - Ebsco (Business Source Ultimate)
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Formal Aspects Of Computing
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Distributed Computing
- Electronic Proceedings In Theoretical Computer Science
- Ieee Transactions On Parallel And Distributed Systems
- Information And Computation
- Logical Methods In Computer Science
- Sigplan Notices