Home Advanced Search

Advanced Search - Page 1

Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Krishnendu Chatterjee (auth.), Giorgio Delzanno, Igor Potapov (eds.)
Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Sam Buss (auth.), Krishnendu Chatterjee, Jirí Sgall (eds.)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.)
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Markus Holzer, Martin Kutrib (auth.), Antonín Kučera, Igor Potapov (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)
Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mohamed Faouzi Atig, Ahmed Bouajjani (auth.), Olivier Bournez, Igor Potapov (eds.)
Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mohamed Faouzi Atig, Ahmed Bouajjani (auth.), Olivier Bournez, Igor Potapov (eds.)
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Mikołaj Bojańczyk, Sławomir Lasota (auth.), Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Mikołaj Bojańczyk, Sławomir Lasota (auth.), Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
search