Inproceedings,

The Quest for Correct Systems: Model Checking of Diagrams and Datatypes.

, and .
APSEC, page 449-. IEEE Computer Society, (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews