, David Kitchin, Evan Powell, Jayadev Misra Department of Computer Science University of Texas at Austin
CITATION STYLE
Kitchen, D., Powell, E., & Misra, J. (2008). Simulation, Orchestration and Logical Clocks. In FM 2008: Formal Methods (pp. 34–34). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-68237-0_4
Mendeley helps you to discover research relevant for your work.