Auflistung nach Autor Stefanescu, Alin
Anzeige der Treffer 1 bis 2 von 2
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2006 | Automatic synthesis of distributed transition systems | Stefanescu, Alin |
2004 | Complexity results for checking distributed implementability | Heljanko, Keijo; Stefanescu, Alin |