Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Notes in Theoretical Computer Science, Volume 145

> Home > Journals > Electronic Notes in Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 145, January 2006

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LazicN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LazicN06
Ranko Lazic, Rajagopal Nagarajan:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Jones06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Jones06
Cliff B. Jones:
Reasoning About Partial Functions in the Formal Development of Programs. 3-25
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GordonIOS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GordonIOS06
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind:
Automatic Formal Synthesis of Hardware from Higher Order Logic. 27-43
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Amjad06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Amjad06
Hasan Amjad:
Verification of AMBA Using a Combination of Model Checking and Theorem Proving. 45-61
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarsottiNT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarsottiNT06
Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu:
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. 63-78
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GuelevRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GuelevRS06
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Synthesising Features by Games. 79-93
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/TobenW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TobenW06
Tobe Toben, Bernd Westphal:
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. 95-111
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CeskaEV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CeskaEV06
Milan Ceska, Pavel Erlebach, Tomás Vojnar:
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. 113-130
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Charlton06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Charlton06
Nathaniel Charlton:
Verification of Java Programs with Interacting Analysis Plugins. 131-150
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KangM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KangM06
Eun-Young Kang, Stephan Merz:
Predicate Diagrams for the Verification of Real-Time Systems. 151-165
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SongCR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SongCR06
Hosung Song, Kevin J. Compton, William C. Rounds:
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. 167-183
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ReedRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ReedRS06
Joy N. Reed, A. W. Roscoe, Jane E. Sinclair:
Machine-Verifiable Responsiveness. 185-200
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EvansT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EvansT06
Neil Evans, Helen Treharne:
Linking Semantic Models to Support CSP || B Consistency Checking. 201-217

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.