Semantics and Verification in Process Algebras with Data and Timing. Faculty of Mathematics and Computer Science, TU/e. 2003-05 S.V. Nedea. Analysis and Simulations of Catalytic Reactions. Faculty of Mathematics and Computer Science, TU/e. 2003-06 M.E.M. (2003)

by Tim A. C. Willemse , Timothy Ariën , Carol Willemse
Venue:Faculty of Mathematics and Natural
Citations:29 - 1 self