Computing Behavioural Relations, Logically.

Rance Cleaveland, Bernhard Steffen

Browse the full ICALP paper archive.