Skip to content

Bisimulation Metrics for Weighted Automata.

Borja Balle, Pascale Gourdeau, Prakash Panangaden

VenueA*ICALP
Year2017
ProceedingsICALP

Browse the full ICALP paper archive.