%0 Conference Paper %1 conf/cav/AvruninBC91 %A Avrunin, George S. %A Buy, Ugo A. %A Corbett, James C. %B CAV %D 1991 %E Larsen, Kim Guldstrand %E Skou, Arne %I Springer %K dblp %P 92-102 %T Integer Programming in the Analysis of Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/cav/cav91.html#AvruninBC91 %V 575 %@ 3-540-55179-4

@inproceedings{conf/cav/AvruninBC91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Avrunin, George S. and Buy, Ugo A. and Corbett, James C.}, biburl = {https://www.bibsonomy.org/bibtex/2e3553c2f569968b137b159e0f38f6643/dblp}, booktitle = {CAV}, crossref = {conf/cav/1991}, editor = {Larsen, Kim Guldstrand and Skou, Arne}, ee = {https://doi.org/10.1007/3-540-55179-4_10}, interhash = {2b804cd09b0ba4829be9fa7fb49b3fa7}, intrahash = {e3553c2f569968b137b159e0f38f6643}, isbn = {3-540-55179-4}, keywords = {dblp}, pages = {92-102}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:24.000+0200}, title = {Integer Programming in the Analysis of Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav91.html#AvruninBC91}, volume = 575, year = 1991 }