Showing 1 - 2 results of 2 for search 'Γαροφαλάκης, Μίνως', query time: 0.04s Refine Results
  1. 1
    Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
    Book
  2. 2
    Αυτόματη επαλήθευση παραλλήλων συστημάτων Συγκριτική μελέτη βασικών θεωρητικών εργαλείων καί αλγορίθμων. Διπλωματική εργασία.
    Book
Search Tools: RSS Feed – Email Search