default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd SVV@ICFEM 2005: Manchester, UK
- Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang:
Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005. Electronic Notes in Theoretical Computer Science 157(1), Elsevier 2006 - Supratik Mukhopadhyay, Abhik Roychoudhury
, Zijiang Yang:
Preface. 1 - Benjamin Aziz:
A Semiring-based Quantitative Analysis of Mobile Systems. 3-21 - Donghuo Chen, Jinzhao Wu:
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. 23-38 - Arend Rensink, Dino Distefano:
Abstract Graph Transformation. 39-59 - Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro:
WAVer: A Model Checking-based Tool to Verify Web Application Design. 61-76 - Murray Stokely, Sagar Chaki, Joël Ouaknine:
Parallel Assignments in Software Model Checking. 77-94 - Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li:
A Z Approach in Validating ORA-SS Data Models. 95-109
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.
last updated on 2025-03-21 01:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
