-
Tapaal is an
Indian Marathi language film
directed by
Laxman Utekar and
produced by
Varsha Madhusudan Satpalkar. The film
stars Nandu Madhav,
Rohit Utekar...
-
English Vinglish and Dear Zindagi. He made his
directorial debut in 2013 with
Tapaal. He went on to
direct the
romantic comedy Luka
Chuppi (2019) and the drama...
-
National Film
Awards 2012 2014:
Tapaal World Premiere 18th
Busan International Film Festival,
South Korea 2014:
Tapaal selected in the "44th
Indian Panorama"...
-
TAPAAL is a tool for modelling,
simulation and
verification of Timed-Arc
Petri nets
developed at
Department of
Computer Science at
Aalborg University in...
-
probabilistic systems. TAPAs: a tool for the
analysis of
process algebra TAPAAL: an
integrated tool
environment for modelling, validation, and verification...
- Thakur,
Ambar Hadap,
Ganesh Pandit,
Mahesh Limaye Yellow Mangesh Hadawale Tapaal Nagraj Manjule Fandry Sachin Baliram Nagargoje Taptapadi Shrikant Bojewar...
-
Prawaal Raman Hindi 2015
Celluloid Dada
Saheb Phalke Kamal Malayalam 2013
Tapaal Devram (Postman)
Laxman Utekar Marathi 2013
Mukkti Bhanudas (Farmer) Machindra...
-
Theseus (2013) English/Hindi
Anand Gandhi Robot Bala
Abirami 17, 6:45 PM 141
Tapaal Marathi Laxman Utekar Robot Bala
Abirami 16, 10:45 AM 142
Bhaag Milkha Bhaag...
- Vaidya – "Mani Achanak" –
Dusari Goshta Prakash Holkar – "Don
Disachi Sawli" –
Tapaal Sudhir Moghe – "Swapani
Navhate Disale" – Rama
Madhav 2015
Mangesh Kangane –...
- SPIN
Plain Promela LTL Yes Yes No Yes FUSC C, C++ Windows, Unix
related TAPAAL Real-time Timed-Arc
Petri Nets, age invariants,
inhibitor arcs, transport...
