Formatting and detailing definitions for formal guarantees
authorrtrimana <rtrimana@uci.edu>
Fri, 5 Aug 2016 16:46:14 +0000 (09:46 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 5 Aug 2016 16:46:14 +0000 (09:46 -0700)
commit8744732c7a461b5a99bf961eaa329aabce91d0d2
treef54d5d51891c6e5bc02ddbe4c5ef2dbe033c7edf
parentdbe28a6ac0b7e4b13c5b36585b42c51ec8e0b893
Formatting and detailing definitions for formal guarantees
doc/iotcloud.tex