%0 Conference Paper %1 conf/lopstr/FerrariFO01 %A Ferrari, Mauro %A Fiorentini, Camillo %A Ornaghi, Mario %B LOPSTR %D 2001 %E Pettorossi, Alberto %I Springer %K dblp %P 245-266 %T Extracting Exact Time Bounds from Logical Proofs. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2001.html#FerrariFO01 %V 2372 %@ 3-540-43915-3

@inproceedings{conf/lopstr/FerrariFO01, added-at = {2019-10-30T00:00:00.000+0100}, author = {Ferrari, Mauro and Fiorentini, Camillo and Ornaghi, Mario}, biburl = {https://www.bibsonomy.org/bibtex/2d8d4fbdbbbf6055d6c5c3aa2f9b1b5d4/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2001}, editor = {Pettorossi, Alberto}, ee = {https://doi.org/10.1007/3-540-45607-4_14}, interhash = {381035a06a9f345804192e88c100a236}, intrahash = {d8d4fbdbbbf6055d6c5c3aa2f9b1b5d4}, isbn = {3-540-43915-3}, keywords = {dblp}, pages = {245-266}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-31T11:41:06.000+0100}, title = {Extracting Exact Time Bounds from Logical Proofs.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2001.html#FerrariFO01}, volume = 2372, year = 2001 }