Sortiert nach
Lecture notes in computer science, 2006, p.220-268
2006
Volltextzugriff (PDF)
Computer (Long Beach, Calif.), 2006-10, Vol.39 (10), p.57-64
2006
Volltextzugriff (PDF)
FME 2003: Formal Methods, 2003, p.617-635
2003
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.84-84
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.217-235
2006
Volltextzugriff (PDF)
Formal aspects of computing, 2003-11, Vol.15 (2-3), p.146-181
2003
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.123-155
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.123-140
2006
Volltextzugriff (PDF)
Computer (Long Beach, Calif.), 2006-04, Vol.39 (4), p.93-95
2006
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2003, p.641-664
2003
Volltextzugriff (PDF)
Formal aspects of computing, 2009, Vol.21 (1-2), p.133-154
2009
Volltextzugriff (PDF)
Lecture notes in computer science, 2002, Vol.2272, p.184-203
2002
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.200-216
2006
Volltextzugriff (PDF)
Formal aspects of computing, 2008, Vol.20 (1), p.117-139
2008
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.1-17
2006
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2003, p.491-503
2003
Volltextzugriff (PDF)
ACM computing surveys, 1996-12, Vol.28 (4), p.626-643
1996
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.64-122
2006
Volltextzugriff (PDF)
Acta informatica, 2011-12, Vol.48 (7-8), p.363-396
2011
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2005-06, Vol.7 (3), p.248-267
2005
Volltextzugriff (PDF)
ACM computing surveys, 2009, Vol.41 (4)
2009
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.18-63
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.269-314
2006
Volltextzugriff (PDF)
FM’99 — Formal Methods, 1999, p.369-387
1999
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2003, p.319-337
2003
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Applied Sciences
- Exact Sciences And Technology
- Software
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software Engineering
- Computer Science, Software Engineering
- Computer Science, Interdisciplinary Applications
- Computer Systems And Distributed Systems. User Interface
- Theoretical Computing
- Proof Obligation
- Control Theory. Systems
- Model Check
- Formal Method
- Programming Languages
- Miscellaneous
- Process Control. Computer Integrated Manufacturing
Kollektion
- Ingenta Connect
- HEAL-Link subscriptions: Springer Book Series
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- SpringerLink Journals - AutoHoldings
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EBSCOhost Business Source Ultimate
- IEEE Xplore
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford Journals
- Elsevier ScienceDirect Journals Complete
Zeitschrift / Serie
- Formal Methods And Software Engineering
- Formal Methods And Software Engineering, Proceedings
- Lecture Notes In Computer Science
- Formal Aspects Of Computing
- Acm Computing Surveys
- Computer
- Acta Informatica
- Computer Journal
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming