Model-checking large structured Markov c
β
Peter Buchholz; Joost-Pieter Katoen; Peter Kemper; Carsten Tepper
π
Article
π
2003
π
Elsevier Science
π
English
β 368 KB