Commit ec08e5dc authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* doc/tl/tl.bib (babiak.12.tacas): Update reference.

parent 861969b5
...@@ -9,7 +9,10 @@ ...@@ -9,7 +9,10 @@
booktitle = {Proceedings of the 18th International Conference on Tools booktitle = {Proceedings of the 18th International Conference on Tools
and Algorithms for the Construction and Analysis of Systems and Algorithms for the Construction and Analysis of Systems
(TACAS'12)}, (TACAS'12)},
note = {To appear} publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {95--109}
} }
@InProceedings{ beer.01.cav, @InProceedings{ beer.01.cav,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment