Sortiert nach
Lecture notes in computer science, 2006, p.35-52
2006
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.114-129
Volltextzugriff (PDF)
Blood, 2003-01, Vol.101 (2), p.655-663
2003
Volltextzugriff (PDF)
Journal of cell science, 2001-03, Vol.114 (6), p.1101-1113
2001
Volltextzugriff (PDF)
Theoretical computer science, 2001, Vol.253 (1), p.61-93
2001
Volltextzugriff (PDF)
Science of computer programming, 2012-09, Vol.77 (10-11), p.1122-1150
2012
Volltextzugriff (PDF)
Formal aspects of computing, 2004-05, Vol.16 (2), p.104-120
2004
Volltextzugriff (PDF)
Time for Verification, p.96-143
Volltextzugriff (PDF)
Molecular microbiology, 1997-10, Vol.26 (1), p.81-90
1997
Volltextzugriff (PDF)
The EMBO journal, 2000-06, Vol.19 (11), p.2525-2536
2000
Volltextzugriff (PDF)
Current biology, 2001-12, Vol.11 (24), p.1969-1974
2001
Volltextzugriff (PDF)
Molecular microbiology, 1997-10, Vol.26 (1), p.81-90
1997
Volltextzugriff (PDF)
Transformation-Based Reactive Systems Development, 1997, p.111-125
1997
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.66-81
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 1999-01, Vol.18 (1), p.33-43
1999
Volltextzugriff (PDF)
Molecular microbiology, 1997-10, Vol.26 (1), p.81-90
1997
Volltextzugriff (PDF)
Formal aspects of computing, 2000-12, Vol.12 (4), p.220-221
2000
Volltextzugriff (PDF)
Automatisierungstechnik : AT, 2001-01, Vol.49 (1), p.38
2001
Volltextzugriff (PDF)
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 2005, p.20-39
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.122-150
2006
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.271-277
Volltextzugriff (PDF)
Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998, p.311-314
1998
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2004-04, Vol.82 (2), p.346-346
2004
Volltextzugriff (PDF)
Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996, p.208-227
1996
Volltextzugriff (PDF)
Formal aspects of computing, 2000, Vol.12 (4), p.220-221
2000
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Exact Sciences And Technology
- Applied Sciences
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Programmable Logic Controller
- Software
- State Assertion
- Theoretical Computing
- Time Automaton
- Animals
- Computer Systems And Distributed Systems. User Interface
- Humans
- Real Time Systems
- Automata
- Automata. Abstract Machines. Turing Machines
Kollektion
- Ingenta
- EZB Electronic Journals Library
- SpringerLink Series
- MEDLINE
- Wiley Online Library
- Wiley Online Library
- Access via ScienceDirect (Elsevier)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Journals@Ovid Ovid Full Text
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- IEEE Electronic Library Online
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- NUS Single-Journal Subscriptions
- SpringerLink
- De Gruyter eBooks
- Brill Online Journals
- De Gruyter journals
Zeitschrift / Serie