2006-is.bib

@COMMENT{{This file has been generated by bib2bib 1.82}}

@COMMENT{{Command line: /usr/bin/bib2bib -ob 2006-is.bib -c 'gvcat :"is"' bibs/2006.bib}}

@INPROCEEDINGS{DBLP:conf/vmcai/GantyRB06,
  AUTHOR = {Pierre Ganty and
               Jean-Fran\c{c}ois Raskin and
               Laurent Van Begin},
  TITLE = {A Complete Abstract Interpretation Framework for Coverability
               Properties of WSTS.},
  BOOKTITLE = {Verification, Model Checking, and Abstract Interpretation,
               7th International Conference, VMCAI 2006, Charleston, SC,
               USA, January 8-10, 2006, Proceedings},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {3855},
  YEAR = {2006},
  PAGES = {49-64},
  EE = {http://dx.doi.org/10.1007/11609773_4},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  GVCAT = {is}
}

@ARTICLE{DBLP:journals/jcss/GeeraertsRB06,
  AUTHOR = {Gilles Geeraerts and
               Jean-Fran\c{c}ois Raskin and
               Laurent Van Begin},
  TITLE = {Expand, Enlarge and Check: New algorithms for the coverability
               problem of WSTS.},
  JOURNAL = {J. Comput. Syst. Sci.},
  VOLUME = {72},
  NUMBER = {1},
  YEAR = {2006},
  PAGES = {180-203},
  EE = {http://dx.doi.org/10.1016/j.jcss.2005.09.001},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  GVCAT = {is}
}

@ARTICLE{DBLP:journals/tcs/FinkelGRB06,
  AUTHOR = {Alain Finkel and
               Gilles Geeraerts and
               Jean-Fran\c{c}ois Raskin and
               Laurent Van Begin},
  TITLE = {On the {\it mega}-language expressive power of extended
               Petri nets.},
  JOURNAL = {Theor. Comput. Sci.},
  VOLUME = {356},
  NUMBER = {3},
  YEAR = {2006},
  PAGES = {374-386},
  EE = {http://dx.doi.org/10.1016/j.tcs.2006.02.008},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  GVCAT = {is}
}

@INPROCEEDINGS{ACTA07,
  AUTHOR = {Gilles Geeraerts, Jean-Fran\c{c}ois Raskin and Laurent Van Begin},
  TITLE = {Well-structured Languages},
  BOOKTITLE = {Submitted for publication},
  YEAR = {2007},
  PAGES = {35},
  GVCAT = {is}
}

@INPROCEEDINGS{ATPN07,
  AUTHOR = {Pierre Ganty and Jean-Fran\c{c}ois Raskin and Laurent
  Van Begin},
  TITLE = {From Many places to Few: Automatic Abstraction
    Refinement for Petri Nets},
  BOOKTITLE = {Submitted for publication},
  YEAR = {2007},
  PAGES = {25},
  GVCAT = {is}
}

This file has been generated by bibtex2html 1.82.