Cite
Model Checking Continuous-Time Markov Chains by Transient Analysis
MLA
Baier, Christel, et al. “Model Checking Continuous-Time Markov Chains by Transient Analysis.” Computer Aided Verification, Jan. 2000, pp. 358–72. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....d01c9e7fe715f3d10dbf104ef704a6ef&authtype=sso&custid=ns315887.
APA
Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P., Emerson, E. A., & Sistla, A. P. (2000). Model Checking Continuous-Time Markov Chains by Transient Analysis. Computer Aided Verification, 358–372.
Chicago
Baier, Christel, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen, E. Allen Emerson, and Aravinda Prasad Sistla. 2000. “Model Checking Continuous-Time Markov Chains by Transient Analysis.” Computer Aided Verification, January, 358–72. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....d01c9e7fe715f3d10dbf104ef704a6ef&authtype=sso&custid=ns315887.