next up previous
Next: Extended Abstract Up: Principles for ModelingVerification, Previous: Principles for ModelingVerification,

Extended Abstract


Pieter J. Mosterman
Wed Aug 20 15:28:13 CDT 1997