@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)},
   pages = {}, 
   publisher = {Springer}, 
   series = {Lecture Notes in Computer Science}, 
   title = {Mixing coverability and reachability to analyze VASS with one zero-test}, 
   volume = {}, 
   year = {2010},
   note={to appear} 
}