Sortiert nach
FM 2006: Formal Methods, 2006, p.573-586
2006
Volltextzugriff (PDF)
Theoretical Aspects of Computer Software, 2005, p.244-264
2005
Volltextzugriff (PDF)
Proceedings of the IEEE, 2000, Vol.88 (7), p.1011-1025
2000
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.526-539
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.364-380
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 1998, p.151-166
1998
Volltextzugriff (PDF)
Theoretical computer science, 2001, Vol.256 (1), p.93-112
2001
Volltextzugriff (PDF)
Formal Techniques in Real-Time and Fault-Tolerant Systems, 2005, p.591-620
2005
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.97-112
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.450-465
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.482-497
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.20-35
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.540-555
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, Vol.5947, p.352-365
2009
Volltextzugriff (PDF)
1, 1988
Volltextzugriff (PDF)
Temporal Logic in Specification, 2005, p.409-448
2005
Volltextzugriff (PDF)
IEEE transactions on software engineering, 1990-04, Vol.16 (4), p.403-414
1990
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.498-513
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.126-140
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.514-525
Volltextzugriff (PDF)
Hybrid Systems: Computation and Control, p.466-481
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
- Computer Science, Software Engineering
- Physical Sciences
- Mathematics
- Temporal Logic
- Software Engineering
- Engineering
- Life Sciences & Biomedicine
- Theoretical Computing
- Mathematics, Applied
- Model Check
- Automation & Control Systems
- Computer Systems And Distributed Systems. User Interface
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Access via ScienceDirect (Elsevier)
- ACM Digital Library
- IEEE Xplore
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- SpringerLink (Online service)
- MEDLINE
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge University Press online books
- Cambridge Core All Books
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Access via Business Source (EBSCOhost)
- Access via Taylor & Francis
- Taylor & Francis
- JSTOR
Zeitschrift / Serie
Neu hinzugefügt