@article{a37ab485f3df4a23863cf9c4e48b37e4,
title = "Abstract probabilistic automata",
keywords = "Abstraction, Compositional reasoning, Interface automata, Probabilistic Automata, Specification",
author = "Benoit Delahaye and Katoen, {Joost Pieter} and Larsen, {Kim G.} and Axel Legay and Pedersen, {Mikkel L.} and Falak Sher and Andrzej W{\c a}sowski",
year = "2013",
month = nov,
day = "4",
doi = "10.1016/j.ic.2013.10.002",
language = "English",
volume = "232",
pages = "66--116",
journal = "Information and Computation",
issn = "0890-5401",
publisher = "Academic Press",
}