|
Journals in DBLP
- Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:1-0 [Journal]
- Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena
Insights to Angluin's Learning. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:3-18 [Journal]
- Benjamin Aziz, Geoff W. Hamilton, David Gray
A Denotational Approach to the Static Analysis of Cryptographic Processes. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:19-36 [Journal]
- Girish Keshav Palshikar, Purandar Bhaduri
Verification of Scenario-based Specifications using Templates. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:37-55 [Journal]
- Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:57-70 [Journal]
- Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath
Verifying a UMTS Protocol Using Spin and EASN. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:71-85 [Journal]
- Qian Wang, Gopal Gupta
Provably Correct Code Generation: A Case Study. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:87-109 [Journal]
- Naijun Zhan
Compositional Properties of Sequential Processes. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:111-128 [Journal]
- Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante
A Trace Logic for Local Security Properties. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:129-143 [Journal]
- Thomas Noll
Equational Abstractions for Model Checking Erlang Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:145-162 [Journal]
|