Skip to content

Testing Probabilistic Automata.

Roberto Segala

VenueBCONCUR
Year1996
ProceedingsCONCUR

Browse the full CONCUR paper archive.