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.


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.

This list was generated on Thu Feb 27 13:19:44 2020 PST.