|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang (eds.) |
Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SVV@ICFEM ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Yuan-Fang Li |
A Z Approach in Validating ORA-SS Data Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SVV@ICFEM ![In: Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005, pp. 95-109, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Donghuo Chen, Jinzhao Wu |
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SVV@ICFEM ![In: Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005, pp. 23-38, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Murray Stokely, Sagar Chaki, Joël Ouaknine |
Parallel Assignments in Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SVV@ICFEM ![In: Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005, pp. 77-94, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro |
WAVer: A Model Checking-based Tool to Verify Web Application Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SVV@ICFEM ![In: Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005, pp. 61-76, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SVV@ICFEM ![In: Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005, pp. 1, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Arend Rensink, Dino Distefano |
Abstract Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SVV@ICFEM ![In: Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005, pp. 39-59, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aziz |
A Semiring-based Quantitative Analysis of Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SVV@ICFEM ![In: Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005, pp. 3-21, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|