LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Last revision Both sides next revision
pushdown_systems [2007/05/05 13:31]
vkuncak created
pushdown_systems [2007/05/05 13:31]
vkuncak
Line 1: Line 1:
 +====== Pushdown systems ======
  
   * [[http://​deposit.ddb.de/​cgi-bin/​dokserv?​idn=96638976X|Stefan Schwoon'​s thesis: Model-Checking Pushdown Systems]]   * [[http://​deposit.ddb.de/​cgi-bin/​dokserv?​idn=96638976X|Stefan Schwoon'​s thesis: Model-Checking Pushdown Systems]]
   * [[http://​homepages.inf.ed.ac.uk/​kousha/​toplas2005.pdf|R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T. Reps, and M. Yannakakis. ​ Analysis of Recursive State Machines]]   * [[http://​homepages.inf.ed.ac.uk/​kousha/​toplas2005.pdf|R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T. Reps, and M. Yannakakis. ​ Analysis of Recursive State Machines]]