Aditya Bhutada

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Structural Analysis

Top Venues

Publications

Marek A. Perkowski, Aditya Bhutada, Martin Lukac, Mathias Sunardi
On Synthesis and Verification from Event Diagrams in a Robot Theatre Application. ISMVL (2013)