BETA
Είσοδος
English
Είσοδος
English
Toggle navigation
Πλοήγηση
Αναζήτηση
Ευρετήρια
Βοήθεια
Σχετικά
Συλλογές
Πρακτικά Συνεδρίων
Β' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
Εξαγωγή Citation
BibTex
RIS
Text
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
Μόνιμη διεύθυνση:
https://pergamos.lib.uoa.gr/uoa/dl/object/1057814
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.