Design of timed systems using a real-time process algebra

Άρθρο Συνεδρίου uoadl:1057814 179 Αναγνώσεις

Πρωτότυπος Τίτλος:
Design of timed systems using a real-time process algebra
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Massart, Thierry
Begin, Erik van den
Nuffel, Eric van
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Άλγεβρα
Σελίδες (από-έως):
161-165
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.