2004-is.bib

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

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

@INPROCEEDINGS{GRV04,
  AUTHOR = {Geeraerts, Gilles and Raskin, Jean-Fran\c{c}ois and {Van~Begin}, Laurent},
  TITLE = {{E}xpand, {E}nlarge and {C}heck: new algorithms for the coverability problem of {WSTS}},
  BOOKTITLE = {Proceedings of FSTTCS'04, 24th International Conference on Foundations of Software Technology 
                  and Theoretical Computer Science, Chennai, India},
  YEAR = {2004},
  NUMBER = {3328},
  SERIES = {{L}ecture {N}otes in {C}omputer {S}cience},
  PUBLISHER = {{S}pringer-{V}erlag},
  PAGES = {287--298},
  EDITOR = {{K}amal {L}odoya and {M}eena {M}ahajan},
  URL = {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/eec-camera.pdf},
  GVCAT = {is}
}

@INPROCEEDINGS{FGRV04,
  AUTHOR = {Finkel, Alain and Geeraerts, Gilles and Raskin, Jean-Fran\c{c}ois and {Van~Begin}, Laurent},
  TITLE = {On the omega-language expressive power of extended {P}etri nets},
  BOOKTITLE = {Proceedings of EXPRESS'04, 11th International Workshop on Expressiveness in Concurrency, London, Great Britain},
  YEAR = {2004},
  NUMBER = {??},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  PUBLISHER = {Elsevier Publishing},
  URL = {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/express.pdf},
  GVCAT = {is}
}

@INPROCEEDINGS{gvan04,
  AUTHOR = {Pierre Ganty and Laurent Van~Begin},
  TITLE = {{Non Deterministic Automata for the Efficient Representation
    of Infinite-state Systems}},
  BOOKTITLE = {Proc. of {C}{P}{+}{C}{V}, 1st workshop on Constraint
    Programming and Constraints for Verification},
  YEAR = 2004,
  GVCAT = {is}
}

@INPROCEEDINGS{RSV04,
  AUTHOR = {Raskin, Jean-Fran\c{c}ois and Samuelides, Mathias and {Van~Begin}, Laurent},
  TITLE = {Games for {C}ounting {A}bstraction},
  BOOKTITLE = {Proceedings of the 4th {I}nternational {W}orkshop on
                   {V}erification of {C}ritical {S}ystems ({AVOCS} 04).
                   {W}ill also appear in {ENTCS}.},
  YEAR = 2004,
  GVCAT = {is}
}

@INPROCEEDINGS{DFV04,
  AUTHOR = {Darlot, Christophe and Finkel, Alain and Van Begin, Laurent},
  TITLE = {About {F}ast and {TR}e{X} accelerations},
  BOOKTITLE = {Proceedings of the 4th {I}nternational {W}orkshop on
                   {A}utomated {V}erification of {C}ritical {S}ystems
                   ({AVOCS} 04). will appear in {ENTCS}.},
  YEAR = 2004,
  GVCAT = {is}
}

@ARTICLE{DRV04,
  AUTHOR = {Delzanno, Giorgio and Raskin, Jean-Fran\c{c}ois and {Van~Begin}, Laurent},
  TITLE = {Covering {S}haring {T}rees: {E}fficient {D}ata
                   {S}tructurs for the {A}utomated {V}erification of
                   {P}arametrized {S}ystems},
  JOURNAL = {accepted for publication in Software Tools for
                   Technology Transfer Manuscript},
  VOLUME = {5},
  NUMBER = {(2--3)},
  PAGES = {268--297},
  PUBLISHER = {Springer},
  YEAR = 2004,
  GVCAT = {is}
}

@ARTICLE{jf05-2,
  AUTHOR = {Thomas A. Henzinger and Rupak Manjumdar and
  Jean-Fran\c{c}ois Raskin},
  TITLE = {A Classification of Symbolic Transition Systems},
  JOURNAL = {Transactions on Computational Logic},
  VOLUME = {6},
  PAGES = {1--31},
  PUBLISHER = {ACM Press},
  YEAR = {2005},
  GVCAT = {is}
}

@ARTICLE{jf04-1,
  AUTHOR = {Jean-Fran\c{c}ois Raskin and Laurent Van Begin},
  TITLE = {Petri Nets with Non-Blocking Arcs are Difficult to Analyze},
  JOURNAL = {Electronic Notes in Theoretical Computer Science},
  VOLUME = {98},
  PAGES = {35--55},
  PUBLISHER = {Elsevier},
  YEAR = {2004},
  GVCAT = {is}
}

This file has been generated by bibtex2html 1.74