%0 Book Section %1 Lamport10TLAPS %A Chaudhuri, Kaustuv %A Doligez, Damien %A Lamport, Leslie %A Merz, Stephan %B Theoretical Aspects of Computing – ICTAC 2010 %D 2010 %E Cavalcanti, Ana %E Deharbe, David %E Gaudel, Marie-Claude %E Woodcock, Jim %I Springer Berlin / Heidelberg %K automated theorem_proving tla verification %P 44-44 %T The TLA<sup> + </sup> Proof System: Building a Heterogeneous Verification Platform %U http://dx.doi.org/10.1007/978-3-642-14808-8_3 %V 6255

@incollection{Lamport10TLAPS, added-at = {2010-12-02T10:47:27.000+0100}, affiliation = {INRIA Saclay, France}, author = {Chaudhuri, Kaustuv and Doligez, Damien and Lamport, Leslie and Merz, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/27238635c3e3dbfc327bad24eb1869b71/giuliano.losa}, booktitle = {Theoretical Aspects of Computing – ICTAC 2010}, editor = {Cavalcanti, Ana and Deharbe, David and Gaudel, Marie-Claude and Woodcock, Jim}, interhash = {fedd312b0e58261a89d6d6d5cf0ba4d7}, intrahash = {7238635c3e3dbfc327bad24eb1869b71}, keywords = {automated theorem_proving tla verification}, note = {10.1007/978-3-642-14808-8_3}, pages = {44-44}, publisher = {Springer Berlin / Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2010-12-02T10:47:27.000+0100}, title = {The TLA<sup> + </sup> Proof System: Building a Heterogeneous Verification Platform}, url = {http://dx.doi.org/10.1007/978-3-642-14808-8_3}, volume = 6255, year = 2010 }