Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}