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: | 28 - 1 self |
BibTeX
@INPROCEEDINGS{Willemse03semanticsand,
author = {Tim A. C. Willemse and Timothy Ariën and Carol Willemse},
title = {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. },
booktitle = {Faculty of Mathematics and Natural},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
logic / software verification / programming languages; muCRL / programming languages; real time
