Wasowski, Andrzej
-
BRICS Report Series Nr. 11 (2006): RS-11 An Interface Theory for Input/Output Automata - Artikler
An Interface Theory for Input/Output Automata
Resumé PDF (English) -
BRICS Report Series Nr. 48 (2003): RS-48 Danfoss EKC Trial Project Deliverables - Artikler
Danfoss EKC Trial Project Deliverables
Resumé PDF (English)