Using lightweight theorem proving in an asynchronous systems context

M. Danish, H. Xi

Research output: Book/Report › Book › Academic

Access to Document

TY - BOOK

T1 - Using lightweight theorem proving in an asynchronous systems context

AU - Danish, M.

AU - Xi, H.

PY - 2014

Y1 - 2014

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84901646946&partnerID=MN8TOARS

U2 - 10.1007/978-3-319-06200-6_12

DO - 10.1007/978-3-319-06200-6_12

M3 - Book

BT - Using lightweight theorem proving in an asynchronous systems context

ER -