Sortiert nach
International journal on software tools for technology transfer, 2015-04, Vol.17 (2), p.121-123
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-08, Vol.222 (Proc. EXPRESS/SOS 2016), p.30-44
2016
Link zum Volltext
2005
Link zum Volltext
Networked Systems, p.43-61
Link zum Volltext
Lecture notes in computer science, 2005, p.164-180
2005
Link zum Volltext
Journal of computer and system sciences, 2012-05, Vol.78 (3), p.853-876
2012
Link zum Volltext
Automata, Languages and Programming, 2006, p.528-539
2006
Link zum Volltext
Lecture notes in computer science, 2005, p.365-381
2005
Link zum Volltext
From Reactive Systems to Cyber-Physical Systems, p.57-72
Link zum Volltext
Lecture notes in computer science, 2006, p.222-236
2006
Link zum Volltext
CONCUR 2005 – Concurrency Theory, 2005, p.548-561
2005
Link zum Volltext
Distributed Computing and Internet Technology, p.50-65
Link zum Volltext
Lecture notes in computer science, 2005, p.570-574
2005
Link zum Volltext
International journal on software tools for technology transfer, 2015-01, p.121-123
2015
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.461-476
Link zum Volltext
Lecture notes in computer science, 2005, p.271-286
2005
Link zum Volltext
Computer Aided Verification, 2005, p.185-198
2005
Link zum Volltext
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 2006, p.356-371
2006
Link zum Volltext
Lecture notes in computer science, 2005, p.546-550
2005
Link zum Volltext
Static Analysis, p.304-323
Link zum Volltext
Lecture notes in computer science, 2005, p.1-12
2005
Link zum Volltext
Computer Aided Verification, 2005, p.408-412
2005
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science, Hardware & Architecture
- Software
- Computer Science, Software Engineering
- Software Engineering
- Model Check
- Computer Science, Artificial Intelligence
- Theoretical Computing
- Abstract Interpretation
- Programming Theory
- Temporal Logic
- Linear Temporal Logic
- Abstract Domain
- Computer Systems And Distributed Systems. User Interface
Kollektion
- Ingenta.com
- SpringerLink Series
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- JSTOR
- EZB Electronic Journals Library
- Project Euclid Complete
- Cambridge Journals Online (DEFF)
- IEEE Xplore
- Business Source Ultimate
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
Zeitschrift / Serie
- The Journal Of Symbolic Logic
- Journal Of The Acm
- International Journal On Software Tools For Technology Transfer
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Information And Computation
- Journal Of Computer And System Sciences
- Journal Of Computer Security