Changeset 69 for papers/FDL2012/myBib.bib

Timestamp:

Mar 15, 2012, 2:27:06 PM (13 years ago)

Author:

cecile

Message:

partie raffinement avec liste des propriétés mis à jour

File:

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

papers/FDL2012/myBib.bib

@@ -7 +7 @@
     pages = {293-318},
     year = 1992
+}
+
+@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}
+}
+@PHDTHESIS{braunstein_phd07,
+  author = {C.~Braunstein},
+  title = {"Conception Incrémentale, Vérification de Composants Matériels et
+        Méthode d'abstraction pour la Vérification de SystÚmes Intégrés sur
+        Puce"},
+  school = {{Universitée Pierre et Marie Curie (Paris 6)}},
+  year = {2007},
+  address = {LIP6/SOC},
+  owner = {cecile},
+  timestamp = {2007.04.16}
 }