G. Lüttgen ; Mendler, Michael:
When 1 Clock is Not Enough
.
In: Aceto, L. ; Gordon, A. D. (Hrsg.) : Algebraic Process Calculi, PA '05
(The First Twenty Five Years and Beyond,, Bertinoro,, 2005).
2005, S. 155-158. (BRICS Notes Series, Nr. NS-05-03)
Institution: Professur für Grundlagen der Informatik
|
|