CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Muñoz-C"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 2008
Number of items: 1.

2008

Mitra, Sayan and Chandy, K. Mani (2008) A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. In: Theorem Proving in Higher Order Logics. Lecture Notes in Computer Science. No.5170. Springer , Berlin, pp. 230-245. ISBN 9783540710653. https://resolver.caltech.edu/CaltechAUTHORS:20180809-133557629

This list was generated on Mon Oct 14 02:35:31 2019 PDT.