%0 Journal Article %1 DBLP:journals/tse/Chetali98 %A Chetali, Boutheina %D 1998 %J IEEE Trans. Software Eng. %K concurrent theorem_proving verification %N 1 %P 46-62 %T Formal Verification of Concurrent Programs Using the Larch Prover %V 24

@article{DBLP:journals/tse/Chetali98, added-at = {2010-01-28T16:43:51.000+0100}, author = {Chetali, Boutheina}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/272194bae63d598c6367b6bb034ee0c3c/giuliano.losa}, ee = {http://csdl.computer.org/comp/trans/ts/1998/01/e0046abs.htm}, interhash = {a99ff6161d77cd90ce08f966077637dd}, intrahash = {72194bae63d598c6367b6bb034ee0c3c}, journal = {IEEE Trans. Software Eng.}, keywords = {concurrent theorem_proving verification}, number = 1, pages = {46-62}, timestamp = {2010-01-28T16:43:51.000+0100}, title = {Formal Verification of Concurrent Programs Using the Larch Prover}, volume = 24, year = 1998 }