Brinksma, Ed. Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop ; Selected Papers. Berlin: Springer, 1995.
Brinksma, Ed. Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop ; Selected Papers. Berlin: Springer, 1995.
license
identifier
2000106063
created
2018-10-19T12:11:43
license
title
Brinksma, Ed. Tools and Algori ...... apers. Berlin: Springer, 1995.
shortTitle
Brinksma, [ed.] Tools and Algorithms for the Construction and Analysis of Systems (1995)