BibTex format
@article{Srinivasan:1998:10.1002/aic.690440213,
author = {Srinivasan, R and Dimitriadis, VD and Shah, N and Venkatasubramanian, V},
doi = {10.1002/aic.690440213},
journal = {AICHE JOURNAL},
pages = {361--371},
title = {Safety verification using a hybrid knowledge-based mathematical programming framework},
url = {http://dx.doi.org/10.1002/aic.690440213},
volume = {44},
year = {1998}
}