Interesting Properties of the Real-Time Conformance Relation.

Moez Krichen, Stavros Tripakis

Browse the full ICTAC paper archive.