Document is current
Any future updates will be listed below
-
Authors
Ehlers, Rüdiger
Lafortune, Stéphane
Tripakis, Stavros
Vardi, Moshe Y.
-
Funding
Funding for this research was provided by:
National Science Foundation (CCF-1138860)
- License Information
-
More Information
Article History
Received: 3 July 2014
Accepted: 8 December 2015
First Online: 15 March 2016
