Metric Semantics for True Concurrent Real Time.

Christel Baier, Joost-Pieter Katoen, Diego Latella

Browse the full ICALP paper archive.