Ingo Czaja;Rob J. van Glabbeek;Ursula Goltz
-;-;-
Vertical implementation
Information and Computation
Action Refinement for Real-Time Concurrent Processes with Urgency
Electronic Notes in Theoretical Computer Science (ENTCS)