|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Charles Pecheur, Brian Williams (eds.) |
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Gihwon Kwon |
Relay Reachability Algorithm for Exploring Huge State Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005, pp. 19-31, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, Michael Fisher 0001, Michael J. Wooldridge |
Automated Game Analysis via Probabilistic Model Checking: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005, pp. 125-137, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Edelkamp, Shahid Jabbar |
Action Planning for Directed Model Checking of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005, pp. 3-18, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Charles Pecheur, Brian Williams |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan |
Model Checking Russian Cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005, pp. 105-123, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David J. Musliner, Michael J. S. Pelican, Robert P. Goldman |
Incremental Verification for On-the-Fly Controller Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005, pp. 71-90, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tilman Mehler, Stefan Edelkamp |
Dynamic Incremental Hashing in Program Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005, pp. 51-69, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kairong Qian, Albert Nymeyer |
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005, pp. 33-49, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dan Lawesson, Ulf Nilsson, Inger Klein |
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005, pp. 139-153, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Kerjean, Froduald Kabanza, Richard St-Denis, Sylvie Thiébaux |
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt@CONCUR/SPIN ![In: Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005, pp. 91-104, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|