Computing Behavioural Relations, Logically (1991)

View PDF

Download Links

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