Home Advanced Search

Advanced Search - Page 1

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.)
Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov (eds.)
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.)
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jérôme Leroux (auth.), Dang Van Hung, Mizuhito Ogawa (eds.)
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Mikołaj Bojańczyk, Alex Simpson
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.)
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.)
STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Marie-Claude Gaudel (auth.), Alain Finkel, Matthias Jantzen (eds.)
search