BibTeX records: Peter Habermehl

download as .bib file

@article{DBLP:journals/fmsd/BolligGH18,
  author    = {Benedikt Bollig and
               Manuela{-}Lidia Grindei and
               Peter Habermehl},
  title     = {Realizability of concurrent recursive programs},
  journal   = {Formal Methods in System Design},
  volume    = {53},
  number    = {3},
  pages     = {339--362},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10703-017-0282-y},
  doi       = {10.1007/s10703-017-0282-y},
  timestamp = {Tue, 13 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/BolligGH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/OliveiraPHB18,
  author    = {Steven de Oliveira and
               Virgile Prevosto and
               Peter Habermehl and
               Saddek Bensalem},
  title     = {Left-Eigenvectors Are Certificates of the Orbit Problem},
  booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
               Marseille, France, September 24-26, 2018, Proceedings},
  pages     = {30--44},
  year      = {2018},
  crossref  = {DBLP:conf/rp/2018},
  url       = {https://doi.org/10.1007/978-3-030-00250-3\_3},
  doi       = {10.1007/978-3-030-00250-3\_3},
  timestamp = {Thu, 13 Sep 2018 14:59:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/OliveiraPHB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-09511,
  author    = {Steven de Oliveira and
               Virgile Prevosto and
               Peter Habermehl and
               Saddek Bensalem},
  title     = {Left-eigenvectors are certificates of the Orbit Problem},
  journal   = {CoRR},
  volume    = {abs/1803.09511},
  year      = {2018},
  url       = {http://arxiv.org/abs/1803.09511},
  archivePrefix = {arXiv},
  eprint    = {1803.09511},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1803-09511},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EneaHIP17,
  author    = {Constantin Enea and
               Peter Habermehl and
               Omar Inverso and
               Gennaro Parlato},
  title     = {On the path-width of integer linear programming},
  journal   = {Inf. Comput.},
  volume    = {253},
  pages     = {257--271},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.ic.2016.07.010},
  doi       = {10.1016/j.ic.2016.07.010},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/EneaHIP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AtigBH17,
  author    = {Mohamed Faouzi Atig and
               Benedikt Bollig and
               Peter Habermehl},
  title     = {Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {28},
  number    = {8},
  pages     = {945--976},
  year      = {2017},
  url       = {https://doi.org/10.1142/S0129054117500332},
  doi       = {10.1142/S0129054117500332},
  timestamp = {Fri, 16 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijfcs/AtigBH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DeckerHLST17,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Arnaud Sangnier and
               Daniel Thoma},
  title     = {Model-Checking Counting Temporal Logics on Flat Structures},
  booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
               September 5-8, 2017, Berlin, Germany},
  pages     = {29:1--29:17},
  year      = {2017},
  crossref  = {DBLP:conf/concur/2017},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.29},
  doi       = {10.4230/LIPIcs.CONCUR.2017.29},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/DeckerHLST17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DeckerHLST17,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Arnaud Sangnier and
               Daniel Thoma},
  title     = {Model-checking Counting Temporal Logics on Flat Structures},
  journal   = {CoRR},
  volume    = {abs/1706.08608},
  year      = {2017},
  url       = {http://arxiv.org/abs/1706.08608},
  archivePrefix = {arXiv},
  eprint    = {1706.08608},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DeckerHLST17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Durand-Gasselin16,
  author    = {Antoine Durand{-}Gasselin and
               Peter Habermehl},
  title     = {Regular Transformations of Data Words Through Origin Information},
  booktitle = {Foundations of Software Science and Computation Structures - 19th
               International Conference, {FOSSACS} 2016, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
               Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  pages     = {285--300},
  year      = {2016},
  crossref  = {DBLP:conf/fossacs/2016},
  url       = {https://doi.org/10.1007/978-3-662-49630-5\_17},
  doi       = {10.1007/978-3-662-49630-5\_17},
  timestamp = {Tue, 23 May 2017 01:08:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/Durand-Gasselin16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HabermehlK15,
  author    = {Peter Habermehl and
               Dietrich Kuske},
  title     = {On Presburger Arithmetic Extended with Modulo Counting Quantifiers},
  booktitle = {Foundations of Software Science and Computation Structures - 18th
               International Conference, FoSSaCS 2015, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
               London, UK, April 11-18, 2015. Proceedings},
  pages     = {375--389},
  year      = {2015},
  crossref  = {DBLP:conf/fossacs/2015},
  url       = {https://doi.org/10.1007/978-3-662-46678-0\_24},
  doi       = {10.1007/978-3-662-46678-0\_24},
  timestamp = {Fri, 02 Jun 2017 20:48:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/HabermehlK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BolligHLM14,
  author    = {Benedikt Bollig and
               Peter Habermehl and
               Martin Leucker and
               Benjamin Monmege},
  title     = {A Robust Class of Data Languages and an Application to Learning},
  journal   = {Logical Methods in Computer Science},
  volume    = {10},
  number    = {4},
  year      = {2014},
  url       = {https://doi.org/10.2168/LMCS-10(4:19)2014},
  doi       = {10.2168/LMCS-10(4:19)2014},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BolligHLM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeckerHLT14,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Daniel Thoma},
  title     = {Learning Transparent Data Automata},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
               Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
               Proceedings},
  pages     = {130--149},
  year      = {2014},
  crossref  = {DBLP:conf/apn/2014},
  url       = {https://doi.org/10.1007/978-3-319-07734-5\_8},
  doi       = {10.1007/978-3-319-07734-5\_8},
  timestamp = {Wed, 14 Nov 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/DeckerHLT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DeckerHLT14,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Daniel Thoma},
  title     = {Ordered Navigation on Multi-attributed Data Words},
  booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
               {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  pages     = {497--511},
  year      = {2014},
  crossref  = {DBLP:conf/concur/2014},
  url       = {https://doi.org/10.1007/978-3-662-44584-6\_34},
  doi       = {10.1007/978-3-662-44584-6\_34},
  timestamp = {Tue, 23 May 2017 01:11:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/DeckerHLT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/EneaHIP14,
  author    = {Constantin Enea and
               Peter Habermehl and
               Omar Inverso and
               Gennaro Parlato},
  title     = {On the Path-Width of Integer Linear Programming},
  booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
               2014.},
  pages     = {74--87},
  year      = {2014},
  crossref  = {DBLP:journals/corr/PeronP14},
  url       = {https://doi.org/10.4204/EPTCS.161.9},
  doi       = {10.4204/EPTCS.161.9},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/EneaHIP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DeckerHLT14,
  author    = {Normann Decker and
               Peter Habermehl and
               Martin Leucker and
               Daniel Thoma},
  title     = {Ordered Navigation on Multi-attributed Data Words},
  journal   = {CoRR},
  volume    = {abs/1404.6064},
  year      = {2014},
  url       = {http://arxiv.org/abs/1404.6064},
  archivePrefix = {arXiv},
  eprint    = {1404.6064},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DeckerHLT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BolligHLM13,
  author    = {Benedikt Bollig and
               Peter Habermehl and
               Martin Leucker and
               Benjamin Monmege},
  title     = {A Fresh Approach to Learning Register Automata},
  booktitle = {Developments in Language Theory - 17th International Conference, {DLT}
               2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings},
  pages     = {118--130},
  year      = {2013},
  crossref  = {DBLP:conf/dlt/2013},
  url       = {https://doi.org/10.1007/978-3-642-38771-5\_12},
  doi       = {10.1007/978-3-642-38771-5\_12},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlt/BolligHLM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HabermehlHRSV12,
  author    = {Peter Habermehl and
               Luk{\'{a}}s Hol{\'{\i}}k and
               Adam Rogalewicz and
               Jir{\'{\i}} Sim{\'{a}}cek and
               Tom{\'{a}}s Vojnar},
  title     = {Forest automata for verification of heap manipulation},
  journal   = {Formal Methods in System Design},
  volume    = {41},
  number    = {1},
  pages     = {83--106},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10703-012-0150-8},
  doi       = {10.1007/s10703-012-0150-8},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/HabermehlHRSV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BouajjaniHRV12,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar},
  title     = {Abstract regular (tree) model checking},
  journal   = {{STTT}},
  volume    = {14},
  number    = {2},
  pages     = {167--191},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10009-011-0205-y},
  doi       = {10.1007/s10009-011-0205-y},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BouajjaniHRV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Durand-GasselinH12,
  author    = {Antoine Durand{-}Gasselin and
               Peter Habermehl},
  title     = {Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} goes elementarily automatic
               for structures of bounded degree},
  booktitle = {29th International Symposium on Theoretical Aspects of Computer Science,
               {STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
  pages     = {242--253},
  year      = {2012},
  crossref  = {DBLP:conf/stacs/2012},
  url       = {https://doi.org/10.4230/LIPIcs.STACS.2012.242},
  doi       = {10.4230/LIPIcs.STACS.2012.242},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/Durand-GasselinH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BouajjaniBHIMV11,
  author    = {Ahmed Bouajjani and
               Marius Bozga and
               Peter Habermehl and
               Radu Iosif and
               Pierre Moro and
               Tom{\'{a}}s Vojnar},
  title     = {Programs with lists are counter automata},
  journal   = {Formal Methods in System Design},
  volume    = {38},
  number    = {2},
  pages     = {158--192},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10703-011-0111-7},
  doi       = {10.1007/s10703-011-0111-7},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/BouajjaniBHIMV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AtigH11,
  author    = {Mohamed Faouzi Atig and
               Peter Habermehl},
  title     = {On Yen's Path Logic for Petri Nets},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {22},
  number    = {4},
  pages     = {783--799},
  year      = {2011},
  url       = {https://doi.org/10.1142/S0129054111008428},
  doi       = {10.1142/S0129054111008428},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijfcs/AtigH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HabermehlHRSV11,
  author    = {Peter Habermehl and
               Luk{\'{a}}s Hol{\'{\i}}k and
               Adam Rogalewicz and
               Jir{\'{\i}} Sim{\'{a}}cek and
               Tom{\'{a}}s Vojnar},
  title     = {Forest Automata for Verification of Heap Manipulation},
  booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  pages     = {424--440},
  year      = {2011},
  crossref  = {DBLP:conf/cav/2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1\_34},
  doi       = {10.1007/978-3-642-22110-1\_34},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/HabermehlHRSV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HabermehlIV10,
  author    = {Peter Habermehl and
               Radu Iosif and
               Tom{\'{a}}s Vojnar},
  title     = {Automata-based verification of programs with tree updates},
  journal   = {Acta Inf.},
  volume    = {47},
  number    = {1},
  pages     = {1--31},
  year      = {2010},
  url       = {https://doi.org/10.1007/s00236-009-0108-5},
  doi       = {10.1007/s00236-009-0108-5},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/HabermehlIV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Durand-GasselinH10,
  author    = {Antoine Durand{-}Gasselin and
               Peter Habermehl},
  title     = {On the Use of Non-deterministic Automata for Presburger Arithmetic},
  booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
               {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
  pages     = {373--387},
  year      = {2010},
  crossref  = {DBLP:conf/concur/2010},
  url       = {https://doi.org/10.1007/978-3-642-15375-4\_26},
  doi       = {10.1007/978-3-642-15375-4\_26},
  timestamp = {Tue, 23 May 2017 01:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/Durand-GasselinH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HabermehlMW10,
  author    = {Peter Habermehl and
               Roland Meyer and
               Harro Wimmel},
  title     = {The Downward-Closure of Petri Net Languages},
  booktitle = {Automata, Languages and Programming, 37th International Colloquium,
               {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
               {II}},
  pages     = {466--477},
  year      = {2010},
  crossref  = {DBLP:conf/icalp/2010-2},
  url       = {https://doi.org/10.1007/978-3-642-14162-1\_39},
  doi       = {10.1007/978-3-642-14162-1\_39},
  timestamp = {Wed, 14 Nov 2018 11:00:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/HabermehlMW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/HabermehlV09,
  author    = {Peter Habermehl and
               Tom{\'{a}}s Vojnar},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {239},
  pages     = {1--3},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.05.026},
  doi       = {10.1016/j.entcs.2009.05.026},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/HabermehlV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozgaHIKV09,
  author    = {Marius Bozga and
               Peter Habermehl and
               Radu Iosif and
               Filip Konecn{\'{y}} and
               Tom{\'{a}}s Vojnar},
  title     = {Automatic Verification of Integer Array Programs},
  booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
               2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  pages     = {157--172},
  year      = {2009},
  crossref  = {DBLP:conf/cav/2009},
  url       = {https://doi.org/10.1007/978-3-642-02658-4\_15},
  doi       = {10.1007/978-3-642-02658-4\_15},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BozgaHIKV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BolligGH09,
  author    = {Benedikt Bollig and
               Manuela{-}Lidia Grindei and
               Peter Habermehl},
  title     = {Realizability of Concurrent Recursive Programs},
  booktitle = {Foundations of Software Science and Computational Structures, 12th
               International Conference, {FOSSACS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  pages     = {410--424},
  year      = {2009},
  crossref  = {DBLP:conf/fossacs/2009},
  url       = {https://doi.org/10.1007/978-3-642-00596-1\_29},
  doi       = {10.1007/978-3-642-00596-1\_29},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/BolligGH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BolligHKL09,
  author    = {Benedikt Bollig and
               Peter Habermehl and
               Carsten Kern and
               Martin Leucker},
  title     = {Angluin-Style Learning of {NFA}},
  booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  pages     = {1004--1009},
  year      = {2009},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/Proceedings/09/Papers/170.pdf},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BolligHKL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AtigH09,
  author    = {Mohamed Faouzi Atig and
               Peter Habermehl},
  title     = {On Yen's Path Logic for Petri Nets},
  booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
               France, September 23-25, 2009. Proceedings},
  pages     = {51--63},
  year      = {2009},
  crossref  = {DBLP:conf/rp/2009},
  url       = {https://doi.org/10.1007/978-3-642-04420-5\_7},
  doi       = {10.1007/978-3-642-04420-5\_7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/AtigH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BouajjaniHV08,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Tom{\'{a}}s Vojnar},
  title     = {Verification of parametric concurrent systems with prioritised {FIFO}
               resource management},
  journal   = {Formal Methods in System Design},
  volume    = {32},
  number    = {2},
  pages     = {129--172},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10703-008-0048-7},
  doi       = {10.1007/s10703-008-0048-7},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/BouajjaniHV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/AtigBH08,
  author    = {Mohamed Faouzi Atig and
               Benedikt Bollig and
               Peter Habermehl},
  title     = {Emptiness of Multi-pushdown Automata Is 2ETIME-Complete},
  booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
               2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
  pages     = {121--133},
  year      = {2008},
  crossref  = {DBLP:conf/dlt/2008},
  url       = {https://doi.org/10.1007/978-3-540-85780-8\_9},
  doi       = {10.1007/978-3-540-85780-8\_9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlt/AtigBH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HabermehlIV08,
  author    = {Peter Habermehl and
               Radu Iosif and
               Tom{\'{a}}s Vojnar},
  title     = {What Else Is Decidable about Integer Arrays?},
  booktitle = {Foundations of Software Science and Computational Structures, 11th
               International Conference, {FOSSACS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  pages     = {474--489},
  year      = {2008},
  crossref  = {DBLP:conf/fossacs/2008},
  url       = {https://doi.org/10.1007/978-3-540-78499-9\_33},
  doi       = {10.1007/978-3-540-78499-9\_33},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/HabermehlIV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HabermehlIV08,
  author    = {Peter Habermehl and
               Radu Iosif and
               Tom{\'{a}}s Vojnar},
  title     = {A Logic of Singly Indexed Arrays},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
               International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
               2008. Proceedings},
  pages     = {558--573},
  year      = {2008},
  crossref  = {DBLP:conf/lpar/2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1\_39},
  doi       = {10.1007/978-3-540-89439-1\_39},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/HabermehlIV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BouajjaniHHTV08,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Luk{\'{a}}s Hol{\'{\i}}k and
               Tayssir Touili and
               Tom{\'{a}}s Vojnar},
  title     = {Antichain-Based Universality and Inclusion Testing over Nondeterministic
               Finite Tree Automata},
  booktitle = {Implementation and Applications of Automata, 13th International Conference,
               {CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
  pages     = {57--67},
  year      = {2008},
  crossref  = {DBLP:conf/wia/2008},
  url       = {https://doi.org/10.1007/978-3-540-70844-5\_7},
  doi       = {10.1007/978-3-540-70844-5\_7},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/BouajjaniHHTV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HabermehlIRV07,
  author    = {Peter Habermehl and
               Radu Iosif and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar},
  title     = {Proving Termination of Tree Manipulating Programs},
  booktitle = {Automated Technology for Verification and Analysis, 5th International
               Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
  pages     = {145--161},
  year      = {2007},
  crossref  = {DBLP:conf/atva/2007},
  url       = {https://doi.org/10.1007/978-3-540-75596-8\_12},
  doi       = {10.1007/978-3-540-75596-8\_12},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/HabermehlIRV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BouajjaniHJS07,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Yan Jurski and
               Mihaela Sighireanu},
  title     = {Rewriting Systems with Data},
  booktitle = {Fundamentals of Computation Theory, 16th International Symposium,
               {FCT} 2007, Budapest, Hungary, August 27-30, 2007, Proceedings},
  pages     = {1--22},
  year      = {2007},
  crossref  = {DBLP:conf/fct/2007},
  url       = {https://doi.org/10.1007/978-3-540-74240-1\_1},
  doi       = {10.1007/978-3-540-74240-1\_1},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fct/BouajjaniHJS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BouajjaniHRV06,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar},
  title     = {Abstract Regular Tree Model Checking},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {149},
  number    = {1},
  pages     = {37--48},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.11.015},
  doi       = {10.1016/j.entcs.2005.11.015},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BouajjaniHRV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniBHIMV06,
  author    = {Ahmed Bouajjani and
               Marius Bozga and
               Peter Habermehl and
               Radu Iosif and
               Pierre Moro and
               Tom{\'{a}}s Vojnar},
  title     = {Programs with Lists Are Counter Automata},
  booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {517--531},
  year      = {2006},
  crossref  = {DBLP:conf/cav/2006},
  url       = {https://doi.org/10.1007/11817963\_47},
  doi       = {10.1007/11817963\_47},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BouajjaniBHIMV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BouajjaniHRV06,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar},
  title     = {Abstract Regular Tree Model Checking of Complex Dynamic Data Structures},
  booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
               Korea, August 29-31, 2006, Proceedings},
  pages     = {52--70},
  year      = {2006},
  crossref  = {DBLP:conf/sas/2006},
  url       = {https://doi.org/10.1007/11823230\_5},
  doi       = {10.1007/11823230\_5},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/BouajjaniHRV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HabermehlIV06,
  author    = {Peter Habermehl and
               Radu Iosif and
               Tom{\'{a}}s Vojnar},
  title     = {Automata-Based Verification of Programs with Tree Updates},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  pages     = {350--364},
  year      = {2006},
  crossref  = {DBLP:conf/tacas/2006},
  url       = {https://doi.org/10.1007/11691372\_23},
  doi       = {10.1007/11691372\_23},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/HabermehlIV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/HabermehlV05,
  author    = {Peter Habermehl and
               Tom{\'{a}}s Vojnar},
  title     = {Regular Model Checking Using Inference of Regular Languages},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {138},
  number    = {3},
  pages     = {21--36},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.01.044},
  doi       = {10.1016/j.entcs.2005.01.044},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/HabermehlV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BouajjaniHMV05,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Pierre Moro and
               Tom{\'{a}}s Vojnar},
  title     = {Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular
               Model Checking},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               11th International Conference, {TACAS} 2005, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2005,
               Edinburgh, UK, April 4-8, 2005, Proceedings},
  pages     = {13--29},
  year      = {2005},
  crossref  = {DBLP:conf/tacas/2005},
  url       = {https://doi.org/10.1007/978-3-540-31980-1\_2},
  doi       = {10.1007/978-3-540-31980-1\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BouajjaniHMV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniHV04,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Tom{\'{a}}s Vojnar},
  title     = {Abstract Regular Model Checking},
  booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  pages     = {372--386},
  year      = {2004},
  crossref  = {DBLP:conf/cav/2004},
  url       = {https://doi.org/10.1007/978-3-540-27813-9\_29},
  doi       = {10.1007/978-3-540-27813-9\_29},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BouajjaniHV04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SeidlSMH04,
  author    = {Helmut Seidl and
               Thomas Schwentick and
               Anca Muscholl and
               Peter Habermehl},
  title     = {Counting in Trees for Free},
  booktitle = {Automata, Languages and Programming: 31st International Colloquium,
               {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
  pages     = {1136--1149},
  year      = {2004},
  crossref  = {DBLP:conf/icalp/2004},
  url       = {https://doi.org/10.1007/978-3-540-27836-8\_94},
  doi       = {10.1007/978-3-540-27836-8\_94},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/SeidlSMH04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BouajjaniHM03,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Richard Mayr},
  title     = {Automatic verification of recursive procedures with one integer parameter},
  journal   = {Theor. Comput. Sci.},
  volume    = {295},
  pages     = {85--106},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0304-3975(02)00397-3},
  doi       = {10.1016/S0304-3975(02)00397-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/BouajjaniHM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouajjaniHV03,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Tom{\'{a}}s Vojnar},
  title     = {Verification of Parametric Concurrent Systems with Prioritized {FIFO}
               Resource Management},
  booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
               Marseille, France, September 3-5, 2003, Proceedings},
  pages     = {172--187},
  year      = {2003},
  crossref  = {DBLP:conf/concur/2003},
  url       = {https://doi.org/10.1007/978-3-540-45187-7\_11},
  doi       = {10.1007/978-3-540-45187-7\_11},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/BouajjaniHV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BouajjaniHM01,
  author    = {Ahmed Bouajjani and
               Peter Habermehl and
               Richard Mayr},
  title     = {Automatic Verification of Recursive Procedures with One Integer Parameter},
  booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
               Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
               2001, Proceedings},
  pages     = {198--211},
  year      = {2001},
  crossref  = {DBLP:conf/mfcs/2001},
  url       = {https://doi.org/10.1007/3-540-44683-4\_18},
  doi       = {10.1007/3-540-44683-4\_18},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/BouajjaniHM01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BouajjaniH99,
  author    = {Ahmed Bouajjani and
               Peter Habermehl},
  title     = {Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular
               Sets of Configurations},
  journal   = {Theor. Comput. Sci.},
  volume    = {221},
  number    = {1-2},
  pages     = {211--250},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0304-3975(99)00033-X},
  doi       = {10.1016/S0304-3975(99)00033-X},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/BouajjaniH99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaABBHL99,
  author    = {Parosh Aziz Abdulla and
               Aurore Annichini and
               Saddek Bensalem and
               Ahmed Bouajjani and
               Peter Habermehl and
               Yassine Lakhnech},
  title     = {Verification of Infinite-State Systems by Combining Abstraction and
               Reachability Analysis},
  booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
               '99, Trento, Italy, July 6-10, 1999, Proceedings},
  pages     = {146--159},
  year      = {1999},
  crossref  = {DBLP:conf/cav/1999},
  url       = {https://doi.org/10.1007/3-540-48683-6\_15},
  doi       = {10.1007/3-540-48683-6\_15},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/AbdullaABBHL99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Habermehl98,
  author    = {Peter Habermehl},
  title     = {Sur la v{\'{e}}rification de syst{\`{e}}mes infinis. (On the
               verification of infinite-state systems)},
  school    = {Joseph Fourier University, Grenoble, France},
  year      = {1998},
  url       = {https://tel.archives-ouvertes.fr/tel-00004890},
  timestamp = {Thu, 14 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Habermehl98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Habermehl97,
  author    = {Peter Habermehl},
  title     = {On the Complexity of the Linear-Time mu -calculus for Petri-Nets},
  booktitle = {Application and Theory of Petri Nets 1997, 18th International Conference,
               {ICATPN} '97, Toulouse, France, June 23-27, 1997, Proceedings},
  pages     = {102--116},
  year      = {1997},
  crossref  = {DBLP:conf/apn/1997},
  url       = {https://doi.org/10.1007/3-540-63139-9\_32},
  doi       = {10.1007/3-540-63139-9\_32},
  timestamp = {Mon, 22 May 2017 17:11:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/Habermehl97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BouajjaniH97,
  author    = {Ahmed Bouajjani and
               Peter Habermehl},
  title     = {Symbolic Reachability Analysis of {FIFO} Channel Systems with Nonregular
               Sets of Configurations (Extended Abstract)},
  booktitle = {Automata, Languages and Programming, 24th International Colloquium,
               ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
  pages     = {560--570},
  year      = {1997},
  crossref  = {DBLP:conf/icalp/1997},
  url       = {https://doi.org/10.1007/3-540-63165-8\_211},
  doi       = {10.1007/3-540-63165-8\_211},
  timestamp = {Mon, 22 May 2017 17:11:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/BouajjaniH97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouajjaniH96,
  author    = {Ahmed Bouajjani and
               Peter Habermehl},
  title     = {Constrained Properties, Semilinear Systems, and Petri Nets},
  booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
               Italy, August 26-29, 1996, Proceedings},
  pages     = {481--497},
  year      = {1996},
  crossref  = {DBLP:conf/concur/1996},
  url       = {https://doi.org/10.1007/3-540-61604-7\_71},
  doi       = {10.1007/3-540-61604-7\_71},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/BouajjaniH96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BouajjaniEH95,
  author    = {Ahmed Bouajjani and
               Rachid Echahed and
               Peter Habermehl},
  title     = {On the Verification Problem of Nonregular Properties for Nonregular
               Processes},
  booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
               San Diego, California, USA, June 26-29, 1995},
  pages     = {123--133},
  year      = {1995},
  crossref  = {DBLP:conf/lics/1995},
  url       = {https://doi.org/10.1109/LICS.1995.523250},
  doi       = {10.1109/LICS.1995.523250},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/BouajjaniEH95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BouajjaniEH95,
  author    = {Ahmed Bouajjani and
               Rachid Echahed and
               Peter Habermehl},
  title     = {Verifying Infinite State Processes with Sequential and Parallel Composition},
  booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, San Francisco, California,
               USA, January 23-25, 1995},
  pages     = {95--106},
  year      = {1995},
  crossref  = {DBLP:conf/popl/1995},
  url       = {https://doi.org/10.1145/199448.199470},
  doi       = {10.1145/199448.199470},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/BouajjaniEH95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2018,
  editor    = {Igor Potapov and
               Pierre{-}Alain Reynier},
  title     = {Reachability Problems - 12th International Conference, {RP} 2018,
               Marseille, France, September 24-26, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11123},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00250-3},
  doi       = {10.1007/978-3-030-00250-3},
  isbn      = {978-3-030-00249-7},
  timestamp = {Thu, 13 Sep 2018 14:59:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2017,
  editor    = {Roland Meyer and
               Uwe Nestmann},
  title     = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
               September 5-8, 2017, Berlin, Germany},
  series    = {LIPIcs},
  volume    = {85},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-048-4},
  isbn      = {978-3-95977-048-4},
  timestamp = {Wed, 27 Sep 2017 13:49:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2016,
  editor    = {Bart Jacobs and
               Christof L{\"{o}}ding},
  title     = {Foundations of Software Science and Computation Structures - 19th
               International Conference, {FOSSACS} 2016, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
               Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9634},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49630-5},
  doi       = {10.1007/978-3-662-49630-5},
  isbn      = {978-3-662-49629-9},
  timestamp = {Tue, 23 May 2017 01:08:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2015,
  editor    = {Andrew M. Pitts},
  title     = {Foundations of Software Science and Computation Structures - 18th
               International Conference, FoSSaCS 2015, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
               London, UK, April 11-18, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9034},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46678-0},
  doi       = {10.1007/978-3-662-46678-0},
  isbn      = {978-3-662-46677-3},
  timestamp = {Fri, 02 Jun 2017 20:48:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014,
  editor    = {Gianfranco Ciardo and
               Ekkart Kindler},
  title     = {Application and Theory of Petri Nets and Concurrency - 35th International
               Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8489},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07734-5},
  doi       = {10.1007/978-3-319-07734-5},
  isbn      = {978-3-319-07733-8},
  timestamp = {Wed, 14 Nov 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2014,
  editor    = {Paolo Baldan and
               Daniele Gorla},
  title     = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
               {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8704},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44584-6},
  doi       = {10.1007/978-3-662-44584-6},
  isbn      = {978-3-662-44583-9},
  timestamp = {Tue, 23 May 2017 01:11:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/PeronP14,
  editor    = {Adriano Peron and
               Carla Piazza},
  title     = {Proceedings Fifth International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
               2014},
  series    = {{EPTCS}},
  volume    = {161},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.161},
  doi       = {10.4204/EPTCS.161},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/PeronP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2013,
  editor    = {Marie{-}Pierre B{\'{e}}al and
               Olivier Carton},
  title     = {Developments in Language Theory - 17th International Conference, {DLT}
               2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7907},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38771-5},
  doi       = {10.1007/978-3-642-38771-5},
  isbn      = {978-3-642-38770-8},
  timestamp = {Fri, 26 May 2017 00:50:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlt/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/2012,
  editor    = {Christoph D{\"{u}}rr and
               Thomas Wilke},
  title     = {29th International Symposium on Theoretical Aspects of Computer Science,
               {STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
  series    = {LIPIcs},
  volume    = {14},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012},
  url       = {http://drops.dagstuhl.de/portals/extern/index.php?semnr=12001},
  isbn      = {978-3-939897-35-4},
  timestamp = {Tue, 26 Feb 2013 10:42:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2011,
  editor    = {Ganesh Gopalakrishnan and
               Shaz Qadeer},
  title     = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6806},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1},
  doi       = {10.1007/978-3-642-22110-1},
  isbn      = {978-3-642-22109-5},
  timestamp = {Thu, 25 May 2017 00:39:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2010,
  editor    = {Paul Gastin and
               Fran{\c{c}}ois Laroussinie},
  title     = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
               {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6269},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15375-4},
  doi       = {10.1007/978-3-642-15375-4},
  isbn      = {978-3-642-15374-7},
  timestamp = {Tue, 23 May 2017 01:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2010-2,
  editor    = {Samson Abramsky and
               Cyril Gavoille and
               Claude Kirchner and
               Friedhelm {Meyer auf der Heide} and
               Paul G. Spirakis},
  title     = {Automata, Languages and Programming, 37th International Colloquium,
               {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
               {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6199},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14162-1},
  doi       = {10.1007/978-3-642-14162-1},
  isbn      = {978-3-642-14161-4},
  timestamp = {Wed, 14 Nov 2018 11:00:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2010-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2009,
  editor    = {Ahmed Bouajjani and
               Oded Maler},
  title     = {Computer Aided Verification, 21st International Conference, {CAV}
               2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5643},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02658-4},
  doi       = {10.1007/978-3-642-02658-4},
  isbn      = {978-3-642-02657-7},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2009,
  editor    = {Luca de Alfaro},
  title     = {Foundations of Software Science and Computational Structures, 12th
               International Conference, {FOSSACS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5504},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00596-1},
  doi       = {10.1007/978-3-642-00596-1},
  isbn      = {978-3-642-00595-4},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2009,
  editor    = {Craig Boutilier},
  title     = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  year      = {2009},
  url       = {http://ijcai.org/proceedings/2009},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2009,
  editor    = {Olivier Bournez and
               Igor Potapov},
  title     = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
               France, September 23-25, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5797},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04420-5},
  doi       = {10.1007/978-3-642-04420-5},
  isbn      = {978-3-642-04419-9},
  timestamp = {Fri, 26 May 2017 00:49:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2008,
  editor    = {Masami Ito and
               Masafumi Toyama},
  title     = {Developments in Language Theory, 12th International Conference, {DLT}
               2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5257},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85780-8},
  doi       = {10.1007/978-3-540-85780-8},
  isbn      = {978-3-540-85779-2},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlt/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2008,
  editor    = {Roberto M. Amadio},
  title     = {Foundations of Software Science and Computational Structures, 11th
               International Conference, {FOSSACS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4962},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78499-9},
  doi       = {10.1007/978-3-540-78499-9},
  isbn      = {978-3-540-78497-5},
  timestamp = {Tue, 23 May 2017 01:08:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2008,
  editor    = {Iliano Cervesato and
               Helmut Veith and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
               International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
               2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5330},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1},
  doi       = {10.1007/978-3-540-89439-1},
  isbn      = {978-3-540-89438-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2008,
  editor    = {Oscar H. Ibarra and
               Bala Ravikumar},
  title     = {Implementation and Applications of Automata, 13th International Conference,
               {CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5148},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-70844-5},
  doi       = {10.1007/978-3-540-70844-5},
  isbn      = {978-3-540-70843-8},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2007,
  editor    = {Kedar S. Namjoshi and
               Tomohiro Yoneda and
               Teruo Higashino and
               Yoshio Okamura},
  title     = {Automated Technology for Verification and Analysis, 5th International
               Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4762},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75596-8},
  doi       = {10.1007/978-3-540-75596-8},
  isbn      = {978-3-540-75595-1},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/2007,
  editor    = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
               Zolt{\'{a}}n {\'{E}}sik},
  title     = {Fundamentals of Computation Theory, 16th International Symposium,
               {FCT} 2007, Budapest, Hungary, August 27-30, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4639},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74240-1},
  doi       = {10.1007/978-3-540-74240-1},
  isbn      = {978-3-540-74239-5},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fct/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2006,
  editor    = {Thomas Ball and
               Robert B. Jones},
  title     = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4144},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11817963},
  doi       = {10.1007/11817963},
  isbn      = {3-540-37406-X},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2006,
  editor    = {Kwangkeun Yi},
  title     = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
               Korea, August 29-31, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4134},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11823230},
  doi       = {10.1007/11823230},
  isbn      = {3-540-37756-5},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2006,
  editor    = {Holger Hermanns and
               Jens Palsberg},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3920},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691372},
  doi       = {10.1007/11691372},
  isbn      = {3-540-33056-9},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2005,
  editor    = {Nicolas Halbwachs and
               Lenore D. Zuck},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               11th International Conference, {TACAS} 2005, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2005,
               Edinburgh, UK, April 4-8, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3440},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107194},
  doi       = {10.1007/b107194},
  isbn      = {3-540-25333-5},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2004,
  editor    = {Rajeev Alur and
               Doron A. Peled},
  title     = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3114},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98490},
  doi       = {10.1007/b98490},
  isbn      = {3-540-22342-8},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2004,
  editor    = {Josep D{\'{\i}}az and
               Juhani Karhum{\"{a}}ki and
               Arto Lepist{\"{o}} and
               Donald Sannella},
  title     = {Automata, Languages and Programming: 31st International Colloquium,
               {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3142},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b99859},
  doi       = {10.1007/b99859},
  isbn      = {3-540-22849-7},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2003,
  editor    = {Roberto M. Amadio and
               Denis Lugiez},
  title     = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
               Marseille, France, September 3-5, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2761},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11938},
  doi       = {10.1007/b11938},
  isbn      = {3-540-40753-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2001,
  editor    = {Jir{\'{\i}} Sgall and
               Ales Pultr and
               Petr Kolman},
  title     = {Mathematical Foundations of Computer Science 2001, 26th International
               Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
               2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2136},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44683-4},
  doi       = {10.1007/3-540-44683-4},
  isbn      = {3-540-42496-2},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1999,
  editor    = {Nicolas Halbwachs and
               Doron A. Peled},
  title     = {Computer Aided Verification, 11th International Conference, {CAV}
               '99, Trento, Italy, July 6-10, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1633},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48683-6},
  doi       = {10.1007/3-540-48683-6},
  isbn      = {3-540-66202-2},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1997,
  editor    = {Pierre Az{\'{e}}ma and
               Gianfranco Balbo},
  title     = {Application and Theory of Petri Nets 1997, 18th International Conference,
               {ICATPN} '97, Toulouse, France, June 23-27, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1248},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63139-9},
  doi       = {10.1007/3-540-63139-9},
  isbn      = {3-540-63139-9},
  timestamp = {Mon, 22 May 2017 17:11:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1997,
  editor    = {Pierpaolo Degano and
               Roberto Gorrieri and
               Alberto Marchetti{-}Spaccamela},
  title     = {Automata, Languages and Programming, 24th International Colloquium,
               ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63165-8},
  doi       = {10.1007/3-540-63165-8},
  isbn      = {3-540-63165-8},
  timestamp = {Mon, 22 May 2017 17:11:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1996,
  editor    = {Ugo Montanari and
               Vladimiro Sassone},
  title     = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
               Italy, August 26-29, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1119},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61604-7},
  doi       = {10.1007/3-540-61604-7},
  isbn      = {3-540-61604-7},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1995,
  title     = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
               San Diego, California, USA, June 26-29, 1995},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3961},
  isbn      = {0-8186-7050-9},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1995,
  editor    = {Ron K. Cytron and
               Peter Lee},
  title     = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, San Francisco, California,
               USA, January 23-25, 1995},
  publisher = {{ACM} Press},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=199448},
  isbn      = {0-89791-692-1},
  timestamp = {Mon, 10 Dec 2012 15:26:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier