BibSonomy :: user :: ist_spl :: Markov-Chains

actions for all displayed bookmarks:

export:

RSS, BibTeX, XML

sort:

criterion: date, title
order: ascending, descending

others:

display: all, bookmarks only
bookmarks per page: 5 10 20 50 100

actions for all displayed publications:

export:

RSS, BibTeX, RDF, more...

sort:

criterion: date, title
order: ascending, descending
advanced...

others:

display: all, publications only
publications per page: 5 10 20 50 100

No matching items.

Principles of Model Checking
Christel Baier, and Joost-Pieter Katoen. The MIT Press, (2008)
Christel Baier, and Joost-Pieter Katoen. The MIT Press, (2008)
4 years and 10 months ago
by ist_spl
7
CTL LTL Markov-Chains checking formal logic model model-checker propositional
(0)
URLDOITeX
⟨⟨⟨1⟩⟩⟩

BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact