CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Jard-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

Chandy, K. Mani and Mitra, Sayan and Pilotto, Concetta (2008) Convergence Verification: From Shared Memory to Partially Synchronous Systems. In: Formal Modeling and Analysis of Timed Systems. Lecture Notes in Computer Science. No.5215. Springer , Berlin, pp. 218-232. ISBN 978-3-540-85777-8. https://resolver.caltech.edu/CaltechAUTHORS:20200225-075817665

This list was generated on Sat Aug 15 04:17:48 2020 PDT.