-
1
Autotuning Parallel Programs by Model Checking
Veröffentlicht in Modelirovanie i analiz informacionnyh sistem
VolltextArtikel -
2
Temporal Logic for Programmable Logic Controllers
Veröffentlicht in Modelirovanie i analiz informacionnyh sistem
VolltextArtikel