%0 Conference Paper %1 conf/nfm/Lamport09 %A Lamport, Leslie %B NASA Formal Methods %D 2009 %E Denney, Ewen %E Giannakopoulou, Dimitra %E Pasareanu, Corina S. %K dblp %P 3 %T TLA+: Whence, Wherefore, and Whither. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2009.html#Lamport09 %V NASA/CP-2009-215407

@inproceedings{conf/nfm/Lamport09, added-at = {2012-07-17T00:00:00.000+0200}, author = {Lamport, Leslie}, biburl = {https://www.bibsonomy.org/bibtex/2a8e84ccaa3c8ad87f7d5f118f4ed7470/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2009}, editor = {Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina S.}, interhash = {fe665e01b556aa4a52dfa2970415e2b1}, intrahash = {a8e84ccaa3c8ad87f7d5f118f4ed7470}, keywords = {dblp}, pages = 3, series = {NASA Conference Proceedings}, timestamp = {2012-07-18T11:33:57.000+0200}, title = {TLA+: Whence, Wherefore, and Whither.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2009.html#Lamport09}, volume = {NASA/CP-2009-215407}, year = 2009 }