@InProceedings{   FS-sofsem10,
  Author        = "Finkel, Alain and Sangnier, Arnaud",
  BookTitle     = "{P}roceedings of the 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'10)",
  date-added    = "2012-12-18 15:46:51 +0000",
  date-modified = "2012-12-18 15:48:00 +0000",
  Keywords      = "vector addition systems",
  Note          = "to appear",
  Publisher     = "Springer",
  Series        = "Lecture Notes in Computer Science",
  Title         = "Mixing coverability and reachability to analyze VASS with one zero-test",
  Year          = "2010",
  File          = "Mixing coverability and reachability to analyze VASS with one zero-test - Finkel, Sangnier (0) (0) - a - a - f.pdf",
  file-2        = "Mixing coverability and reachability to analyze VASS with one zero-test - Finkel, Sangnier (1) (0) - a - a - f.pdf"
}

@InProceedings{ FS-sofsem10, Author = "Finkel, Alain and Sangnier, Arnaud", BookTitle = "{P}roceedings of the 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'10)", date-added = "2012-12-18 15:46:51 +0000", date-modified = "2012-12-18 15:48:00 +0000", Keywords = "vector addition systems", Note = "to appear", Publisher = "Springer", Series = "Lecture Notes in Computer Science", Title = "Mixing coverability and reachability to analyze VASS with one zero-test", Year = "2010", File = "Mixing coverability and reachability to analyze VASS with one zero-test - Finkel, Sangnier (0) (0) - a - a - f.pdf", file-2 = "Mixing coverability and reachability to analyze VASS with one zero-test - Finkel, Sangnier (1) (0) - a - a - f.pdf" }