Results for Two-state

Publications & Outputs

1. Brief announcement: MP-state: State-aware software model checking of message-passing systems

   Muftuoglu, C. A., Bokor, P. & Suri, N., 2012, Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. Vol. 7596 LNCS. p. 183-186 4 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

2. From redox gating to quantized charging

   Li, Z., Liu, Y., Mertens, S. F. L., Pobelov, I. V. & Wandlowski, T., 2010, In: Journal of the American Chemical Society. 132, 23, p. 8187-8193 7 p.

   Research output: Contribution to Journal/Magazine › Journal article › peer-review