Publications

Export 2 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is German Emir Sibay  [Clear All Filters]
2012
G. E. Sibay, V. A. Braberman, S. Uchitel, and J. Kramer, “Distribution of Modal Transition Systems”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012, vol. 7436, p. 403-417.PDF icon Distribution_of_Modal_Transition_Systems.pdf (204.25 KB)