Refinement and Difference for Probabilistic Automata

Benoit Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Volume8054
PublisherSpringer Publishing Company
Publication date2013
Pages22-38
ISBN (Print)978-3-642-40195-4
ISBN (Electronic)978-3-642-40196-1
DOIs
Publication statusPublished - 2013
Event10th International Conference on Quantitative Evaluation of SysTems - University of Buenos Aires, Buenos Aires, Argentina
Duration: 27 Aug 201330 Aug 2013
Conference number: 10th

Conference

Conference10th International Conference on Quantitative Evaluation of SysTems
Number10th
LocationUniversity of Buenos Aires
CountryArgentina
CityBuenos Aires
Period27/08/201330/08/2013
SeriesLecture Notes in Computer Science
ISSN0302-9743

Cite this