EPTCS 103 - QFM 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1212-3454
- ask others
Uli Fahrenberg, Axel Legay, Claus R. Thrane (Eds.): Proceedings Quantities in Formal Methods. 2012 EPTCS 103 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1212-3871
- ask others
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman: Adding Time to Pushdown Automata. ... 1-16
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1212-3870
- ask others
Johannes Hölzl, Tobias Nipkow: Interactive verification of Markov chains: Two distributed protocol case studies. ... 17-31
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1212-3872
- ask others
Kim G. Larsen, Radu Mardare, Claus R. Thrane: Parameterized Metatheory for Continuous Markovian Logic. ... 33-47
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1212-3873
- ask others
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen: Learning Markov Decision Processes for Model Checking. ... 49-63