A Caltech Library Service

Items where Person is "Go-B"

Group by: Date | Item Type | First Author | No Grouping

Jump to: C

Number of items: 1.

C

Chandy, K. Mani et al. (2011) Verification of distributed systems with local–global predicates. Formal Aspects of Computing, 23 (5). pp. 649-679. ISSN 0934-5043 http://resolver.caltech.edu/CaltechAUTHORS:20110929-135751977

This list was generated on Wed May 22 22:01:50 2013 PDT.

CaltechAUTHORS is powered by EPrints 3.3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.