Computing Behavioural Relations, Logically (1991)

Cached

Download Links

by Rance Cleaveland , Bernhard Steffen
Venue:In Proceedings of 18th International Colloquium on Automata, Languages and Programming
Citations:29 - 8 self