HEAL DSpace

Solving production scheduling problems using advanced model checking tools

Αποθετήριο DSpace/Manakin

Solving production scheduling problems using advanced model checking tools

Panopoulos, D; Metaxiotis, K; Ptochos, D; Ligouras, C; Sklaveniti, M
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/27749
Ημερομηνία: 2006

Εμφάνιση πλήρους εγγραφής

Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)