Results for Graph structures

Publications & Outputs

1. On the use of formal techniques for validation

   Suri, N. & Sinha, P., 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing . IEEE, p. 1-10 10 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review