DMCA

Linear and Branching Metrics for Quantitative Transition Systems (2004)

Cached

Download Links

by Luca De Alfaro , Marco Faella , Mariëlle Stoelinga
Venue:In Proceedings of the 31st International Colloquium on Automata, Languages and Programming
Citations:27 - 2 self