Skip to content

Stuttering for Abstract Probabilistic Automata.

Benot Delahaye, Kim G. Larsen, Axel Legay

Year2013
ProceedingsLFCS

Browse the full LFCS paper archive.