Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, Springer, 1997.

Conference: TACAS1997

This author has not been identified. It may be one of the following persons:

Ed Brinksma

Look up 'Ed Brinksma' in Google

runs on WebDSL