%0 Conference Paper %1 DBLP:conf/cav/EngbergGL92 %A Engberg, Urban %A Grønning, Peter %A Lamport, Leslie %B CAV %D 1992 %K distributed theorem_proving tla verification %P 44-55 %T Mechanical Verification of Concurrent Systems with TLA

@inproceedings{DBLP:conf/cav/EngbergGL92, added-at = {2010-01-28T15:33:29.000+0100}, author = {Engberg, Urban and Gr{\o}nning, Peter and Lamport, Leslie}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2d68681f0a1bc3a8ddf7a78714b9d9623/giuliano.losa}, booktitle = {CAV}, crossref = {DBLP:conf/cav/1992}, ee = {http://dx.doi.org/10.1007/3-540-56496-9_5}, interhash = {4a86d35a3811cf737597bc2e418f040c}, intrahash = {d68681f0a1bc3a8ddf7a78714b9d9623}, keywords = {distributed theorem_proving tla verification}, pages = {44-55}, timestamp = {2010-01-28T15:33:29.000+0100}, title = {Mechanical Verification of Concurrent Systems with TLA}, year = 1992 }