Event-B Decomposition for Parallel Programs (Extended Abstract) (BiBTeX)
@InProceedings{hoang10:_event_b_decom_for_paral_progr,
author = {Thai Son Hoang},
title = {Event-B Decomposition for Parallel Programs},
crossref = {abrial10:_exten_abstr_collec},
booktitle ={Refinement Based Methods for the Construction of Dependable Systems},
year = 2010
}
@Proceedings{abrial10:_exten_abstr_collec,
title = {09381 Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems},
year = 2010,
editor = {Jean-Raymond Abrial and Michael Butler and Rajeev Joshi and Elena Troubitsyna and Jim C. P. Woodcock},
number = 09381,
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
address = {Dagstuhl, Germany},
note = {\url{http://drops.dagstuhl.de/opus/volltexte/2010/2374}}
}