Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fmcad/BensalemBLNSY10
%A Bensalem, Saddek
%A Bozga, Marius
%A Legay, Axel
%A Nguyen, Thanh-Hung
%A Sifakis, Joseph
%A Yan, Rongjie
%B FMCAD
%D 2010
%E Bloem, Roderick
%E Sharygina, Natasha
%I IEEE
%K dblp
%P 257-256
%T Incremental component-based construction and verification using invariants.
%U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#BensalemBLNSY10
%@ 978-0-9835678-0-6
@inproceedings{conf/fmcad/BensalemBLNSY10,
added-at = {2011-05-23T00:00:00.000+0200},
author = {Bensalem, Saddek and Bozga, Marius and Legay, Axel and Nguyen, Thanh-Hung and Sifakis, Joseph and Yan, Rongjie},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/223e19dbeb8b3730a5a6e15589d0d5af2/dblp},
booktitle = {FMCAD},
crossref = {conf/fmcad/2010},
editor = {Bloem, Roderick and Sharygina, Natasha},
ee = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770957},
interhash = {948efdb85e1a929fd2a2f35701216f75},
intrahash = {23e19dbeb8b3730a5a6e15589d0d5af2},
isbn = {978-0-9835678-0-6},
keywords = {dblp},
pages = {257-256},
publisher = {IEEE},
timestamp = {2016-02-18T10:32:15.000+0100},
title = {Incremental component-based construction and verification using invariants.},
url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#BensalemBLNSY10},
year = 2010
}