%0 Report %1 schmidt:1997-2 %A Schmidt, Karsten %D 1997 %K 1997 kschmidt preprint %N MATH-AL-9-1997 %T Model-Checking with Coverability Graphs

@techreport{schmidt:1997-2, added-at = {2010-02-23T15:37:37.000+0100}, author = {Schmidt, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/2e3e361a517c1f2c87d420048a6108299/algebradresden}, institution = {TU Dresden}, interhash = {02738ef111200bb61dae58f2f6fe517f}, intrahash = {e3e361a517c1f2c87d420048a6108299}, keywords = {1997 kschmidt preprint}, number = {MATH-AL-9-1997}, timestamp = {2011-07-08T18:38:10.000+0200}, title = {Model-Checking with Coverability Graphs}, type = {Preprint}, year = 1997 }