TY - CONF
TI - Design of timed systems using a real-time process algebra
AU - Massart, Thierry
AU - Begin, Erik van den
AU - Nuffel, Eric van
PY - 1999
SP - 161-165
T2 - Β' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -