Search   Browse   Templates   Query  

[paper]

paperid title year banks_node_id
conf/spin/BolligLW02 Local Parallel Model Checking for the Alternation-Free #-Calculus. 2002 550259

Click here to go back to the BANKS homepage.

About BANKS - Help - People - Publications

IIT Bombay > CSE Department > Informatics Lab
Comments: {sudarsha} [at] cse.iitb.ac.in {soumen} [at] cse.iitb.ac.in