DMCA

Automated compositional Markov chain generation for a plain-old telephone system (2000)

by Holger Hermanns , Joost-pieter Katoen
Citations:45 - 25 self