The Sensing Cost of Monitoring and Synthesis
Shaull Almagor‚ Denis Kuperberg and Orna Kupferman
Book Title
35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science‚ FSTTCS 2015‚ December 16−18‚ 2015‚ Bangalore‚ India
Editor
Prahladh Harsha and G. Ramalingam
ISBN
978−3−939897−97−2
Pages
380–393
Series
LIPIcs
Volume
45
Year
2015