Skip to content

Characterisation of an Algebraic Algorithm for Probabilistic Automata.

Nathanal Fijalkow

VenueASTACS
Year2016
ProceedingsSTACS

Browse the full STACS paper archive.