%0 Conference Paper %1 conf/cscs/NegreanuMF13 %A Negreanu, Lorina %A Mocanu, Irina %A Florea, Adina Magda %B CSCS %D 2013 %I IEEE %K dblp %P 155-161 %T Formal Specification and Verification of Concurrent Agents in Event-B. %U http://dblp.uni-trier.de/db/conf/cscs/cscs2013.html#NegreanuMF13 %@ 978-1-4673-6140-8

@inproceedings{conf/cscs/NegreanuMF13, added-at = {2019-07-03T00:00:00.000+0200}, author = {Negreanu, Lorina and Mocanu, Irina and Florea, Adina Magda}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e84a479029ae278fe4e98d757ba5bd42/dblp}, booktitle = {CSCS}, crossref = {conf/cscs/2013}, ee = {https://doi.org/10.1109/CSCS.2013.61}, interhash = {bc1e16d4207a5258d370bd372471fd5c}, intrahash = {e84a479029ae278fe4e98d757ba5bd42}, isbn = {978-1-4673-6140-8}, keywords = {dblp}, pages = {155-161}, publisher = {IEEE}, timestamp = {2019-09-27T13:25:03.000+0200}, title = {Formal Specification and Verification of Concurrent Agents in Event-B.}, url = {http://dblp.uni-trier.de/db/conf/cscs/cscs2013.html#NegreanuMF13}, year = 2013 }