- Record: found
- Abstract: not found
- Book Chapter: not found
Theoretical Aspects of Computing – ICTAC 2014
Event Analytics
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references22
- Record: found
- Abstract: not found
- Book Chapter: not found
PAT: Towards Flexible Verification under Fairness
Jun Sun, Yang Liu, Jin Song Dong … (2009)
- Record: found
- Abstract: not found
- Book Chapter: not found
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Thomas L. Ball, Byron Cook, Vladimir Levin … (2004)
- Record: found
- Abstract: not found
- Article: not found
From Data to Actionable Knowledge: Big Data Challenges in the Web of Things [Guest Editors' Introduction]
Cory Henson, Payam Barnaghi, Amit Sheth (2013)