Compositional Abstraction in Real--Time Model Checking
Article, Chapter
Authors:
J. Berendsen
Published:
2007
We were unable to find direct full text links for this item.