Changeset 58 for papers/FDL2012/myBib.bib

Timestamp:

Mar 9, 2012, 5:16:33 PM (12 years ago)

Author:

cecile

Message:

reordoring of the firsts definitions

File:

• papers/FDL2012/myBib.bib (modified) (1 diff)

papers/FDL2012/myBib.bib

@@ -262 +262 @@
 }
 
+@ARTICLE{clarke94model,
+  author = {E.M.~Clarke and O.~Grumberg and D.E.~Long},
+  title = {{Model Checking and Abstraction}},
+  journal = {ACM Transactions on Programming Languages and Systems},
+  year = {1994},
+  volume = {16},
+  pages = {1512--1542},
+  number = {5},
+  address = {New York, NY, USA},
+  doi = {http://doi.acm.org/10.1145/186025.186051},
+  issn = {0164-0925},
+  keywords = {model cheking, abstraction, CTL, preservation},
+  publisher = {ACM Press}
+}
 
 @inproceedings{pwk2009-date,