@inproceedings{af5a372c181044cab65954461bb643b9,
title = "Formal Development of Critical Multi-Agent Systems: A Refinement Approach",
author = "Inna Pereverzeva and Elena Troubitsyna and Linas Laibinis",
year = "2012",
doi = "10.1109/EDCC.2012.24",
language = "Odefinierat/ok{\"a}nt",
isbn = "978-1-4673-0938-7",
pages = "156–161",
editor = "{Pupo Correia CC}, Miguel",
booktitle = "Dependable Computing Conference (EDCC), 2012 Ninth European",
publisher = "IEEE",
note = "European Dependable Computing Conference (EDCC) ; Conference date: 08-05-2012 Through 11-05-2012",
}