powered by:
MagicWare, s.r.o.

Krilavicius Tomas

Affiliation:University of Twente
Country:Netherlands
Paper CodeTitleTopic
Th-M13-TO/4Process Algebraic Approach to Hybrid Systems1.3