Login / Signup

Behavioral Metrics via Functor Lifting.

Paolo BaldanFilippo BonchiHenning KerstanBarbara König
Published in: FSTTCS (2014)
Keyphrases