creators_name: Tarasyuk, Anton
creators_name: Troubitsyna, Elena
creators_name: Laibinis, Linas
creators_id: Anton.Tarasyuk@abo.fi
creators_id: Elena.Troubitsyna@abo.fi
creators_id: Linas.Laibinis@abo.fi
type: conference_item
datestamp: 2011-09-04 11:57:40
lastmod: 2011-09-04 11:57:40
metadata_visibility: show
title: Towards Probabilistic Modelling in Event-B
ispublished: pub
subjects: Event-Bsemantics
subjects: deploy_method
full_text_status: none
pres_type: paper
date: 2010-10
date_type: published
event_title: IFM 2010
event_location: Nancy
event_type: conference
refereed: TRUE
citation:   Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas  (2010) Towards Probabilistic Modelling in Event-B.  In: IFM 2010, Nancy.     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>