Wasowski, Andrzej
-
BRICS Report Series No. 11 (2006): RS-11 An Interface Theory for Input/Output Automata - Articles
An Interface Theory for Input/Output Automata
Abstract PDF -
BRICS Report Series No. 48 (2003): RS-48 Danfoss EKC Trial Project Deliverables - Articles
Danfoss EKC Trial Project Deliverables
Abstract PDF