%0 Journal Article %1 journals/fmsd/CorbettA95 %A Corbett, James C. %A Avrunin, George S. %D 1995 %J Formal Methods Syst. Des. %K dblp %N 1 %P 97-123 %T Using Integer Programming to Verify General Safety and Liveness Properties. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd6.html#CorbettA95 %V 6

@article{journals/fmsd/CorbettA95, added-at = {2020-03-13T00:00:00.000+0100}, author = {Corbett, James C. and Avrunin, George S.}, biburl = {https://www.bibsonomy.org/bibtex/28deb6e64f72559363dfef8c4b039bdd6/dblp}, ee = {https://doi.org/10.1007/BF01384316}, interhash = {f532797d54bb0e604dfea4d62cb0b9ce}, intrahash = {8deb6e64f72559363dfef8c4b039bdd6}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {97-123}, timestamp = {2020-03-14T11:51:31.000+0100}, title = {Using Integer Programming to Verify General Safety and Liveness Properties.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd6.html#CorbettA95}, volume = 6, year = 1995 }