Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Mossakowski, Till
Maeder, Christian
and
Lüttich, Klaus
2007.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 4424,
Issue. ,
p.
519.
Discussions
No Discussions have been published for this article.