Sortiert nach
Lecture notes in computer science, 2005, p.118-139
2005
Link zum Volltext
IEEE transactions on software engineering, 1998-09, Vol.24 (9), p.741-758
1998
- Link zum Volltext
Formal aspects of computing, 2005-12, Vol.17 (4), p.390-422
2005
Link zum Volltext
Information Security and Cryptology, 2005, p.63-74
2005
Link zum Volltext
Theoretical computer science, 1995-02, Vol.138 (2), p.243-271
1995
Link zum Volltext
Information and computation, 1995-02, Vol.116 (2), p.193-213
1995
Link zum Volltext
Formal aspects of computing, 2000-11, Vol.12 (3), p.165-181
2000
Link zum Volltext
Communicating Sequential Processes. The First 25 Years, 2005, p.243-263
2005
Link zum Volltext
Computer Security - ESORICS 2000, 2000, p.222-237
2000
Link zum Volltext
CONCUR 2001 — Concurrency Theory, 2001, p.37-38
2001
Link zum Volltext
Integrated Formal Methods, 2004, p.87-107
2004
Link zum Volltext
FM’99 — Formal Methods, 1999, p.738-757
1999
Link zum Volltext
Lecture notes in computer science, 2005, p.121-136
2005
Link zum Volltext
Formal Aspects in Security and Trust, 2006, p.34-46
2006
Link zum Volltext
Formal aspects of computing, 2006-09, Vol.18 (3), p.308-328
2006
Link zum Volltext
Lecture notes in computer science, 2005
2005
Link zum Volltext
Lecture notes in computer science, 2003, Vol.2651, p.58-78
2003
Link zum Volltext
Lecture notes in computer science, 2003
2003
Link zum Volltext
Integrated Formal Methods, 2005, p.89-108
2005
Link zum Volltext
Lecture notes in computer science, 1999, p.136-151
1999
Link zum Volltext
B 2007: Formal Specification and Development in B, 2006, p.34-48
2006
Link zum Volltext
Computer Security -- ESORICS 2002, 2002, Vol.2502, p.162-177
2002
Link zum Volltext
Lecture notes in computer science, 2002, Vol.2272, p.416-435
2002
Link zum Volltext
Formal aspects of computing, 1993-11, Vol.5 (6), p.530-553
1993
Link zum Volltext
Lecture notes in computer science, 2000, Vol.1878, p.188-208
2000
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Science & Technology
- Software
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Software Engineering
- Csp
- Telecommunications And Information Theory
- Theoretical Computing
- Computer Systems And Distributed Systems. User Interface
- Cryptography
- Information, Signal And Communications Theory
- Physical Sciences
- Signal And Communications Theory
- B-Method
- Computer Science, Information Systems
- Computer Science, Software Engineering
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- EZB*
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- eBooks on EBSCOhost
- Springer Books
- Springer Nature - Complete Springer Journals
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library Journals Frontfile Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- JSTOR Complete Journals
- Wiley Online Library Full Collection 2018
- IEEE Xplore Digital Library
- SAGE Complete
Zeitschrift / Serie
- Formal Aspects Of Computing
- Colloids And Surfaces. A, Physicochemical And Engineering Aspects
- Computer Security - Esorics 2005, Proceedings
- Energy & Environment
- Esorics 2005, 10th European Symposium On Research In Computer Security, Proceedings, Milano, It, Sep 12 - 14, 2005
- Ieee Transactions On Software Engineering
- Information And Computation
- Journal Of Physics. Condensed Matter
- Journal Of Physics: Condensed Matter
- Journal Of Polymer Science. Part B, Polymer Physics