Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MoChArt@CONCUR/SPIN"( http://dblp.L3S.de/Venues/MoChArt@CONCUR/SPIN )

URL (DBLP): http://dblp.uni-trier.de/db/conf/mochart

Publication years (Num. hits)
2005 (10) 2006 (1)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
MoChArt@CONCUR/SPIN(11)
Authors
Brian Williams(2) Charles Pecheur(2) Stefan Edelkamp(2) Albert Nymeyer(1) Dan Lawesson(1) David J. Musliner(1) Froduald Kabanza(1) Gihwon Kwon(1) Hans P. van Ditmarsch(1) Inger Klein(1) Ji Ruan(1) Kairong Qian(1) Michael Fisher 0001(1) Michael J. S. Pelican(1) Michael J. Wooldridge(1) Paolo Ballarini(1) More (+10 of total 25)
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
1Charles 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 MoChArt@CONCUR/SPIN The full citation details ... 2006 DBLP  BibTeX  RDF
1Gihwon Kwon Relay Reachability Algorithm for Exploring Huge State Space. Search on Bibsonomy MoChArt@CONCUR/SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paolo Ballarini, Michael Fisher 0001, Michael J. Wooldridge Automated Game Analysis via Probabilistic Model Checking: a case study. Search on Bibsonomy MoChArt@CONCUR/SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stefan Edelkamp, Shahid Jabbar Action Planning for Directed Model Checking of Petri Nets. Search on Bibsonomy MoChArt@CONCUR/SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Charles Pecheur, Brian Williams Preface. Search on Bibsonomy MoChArt@CONCUR/SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan Model Checking Russian Cards. Search on Bibsonomy MoChArt@CONCUR/SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David J. Musliner, Michael J. S. Pelican, Robert P. Goldman Incremental Verification for On-the-Fly Controller Synthesis. Search on Bibsonomy MoChArt@CONCUR/SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tilman Mehler, Stefan Edelkamp Dynamic Incremental Hashing in Program Model Checking. Search on Bibsonomy MoChArt@CONCUR/SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kairong Qian, Albert Nymeyer Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. Search on Bibsonomy MoChArt@CONCUR/SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dan Lawesson, Ulf Nilsson, Inger Klein An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. Search on Bibsonomy MoChArt@CONCUR/SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sylvain 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 MoChArt@CONCUR/SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license