Date: June 3, 2014
Location: Hyderabad, India
Website: http://www.formalise.org/
Mahesh Nanjundappa, Sandeep K. Shukla, “Compiling Polychronous Programs into Conditional Partial Orders for ASIP Synthesis,” the 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2014), Hyderabad, India, June 3, 2014