default search action

combined dblp search
author search
venue search
publication search

ask others

7th AVoCS 2007: Oxford, UK

> Home > Conferences and Workshops > AVoCS

Refine list

refinements active!

zoomed in on 13 of 13 records

view refined list in

export refined list as

showing all 13 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/avocs/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/avocs/2007
Michael Goldsmith, Bill Roscoe:
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007. Electronic Notes in Theoretical Computer Science 250(1), Elsevier 2009
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoldsmithR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoldsmithR09
Michael Goldsmith, Bill Roscoe:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AntonikH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AntonikH09
Adam Antonik, Michael Huth:
On the Complexity of Semantic Self-minimization. 3-19
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BallariniH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BallariniH09
Paolo Ballarini, András Horváth:
Compositional Model Checking of product-form CTMCs. 21-37
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BenalycherifM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BenalycherifM09
Lyes Benalycherif, Anthony McIsaac:
A Semantic Condition for Data Independence and Applications in Hardware Verification. 39-54
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Dawson09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Dawson09
Jeremy E. Dawson:
Isabelle Theories for Machine Words. 55-70
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FecherHSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FecherHSS09
Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn:
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. 71-86
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GrahamCM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GrahamCM09
Douglas Graham, Muffy Calder, Alice Miller:
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. 87-103
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/IzadiM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/IzadiM09
Mohammad Izadi, Ali Movaghar:
Compositional Failure-based Equivalence of Constraint Automata. 105-122
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Jurjens09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Jurjens09
Jan Jürjens:
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project. 123-136
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KumarMB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KumarMB09
Rahul Kumar, Eric G. Mercer, Annette Bunker:
Improving Translation of Live Sequence Charts to Temporal Logic. 137-152
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lowe09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lowe09
Gavin Lowe:
On CSP Refinement Tests That Run Multiple Copies of a Process. 153-170
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MazurL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MazurL09
Tomasz Mazur, Gavin Lowe:
Counter Abstraction in the CSP/FDR setting. 171-186
no results

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.