%0 Conference Paper %1 conf/iceccs/NizF09 %A de Niz, Dionisio %A Feiler, Peter H. %B ICECCS %D 2009 %I IEEE Computer Society %K dblp %P 365-370 %T Verification of Replication Architectures in AADL. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2009.html#NizF09 %@ 978-0-7695-3702-3

@inproceedings{conf/iceccs/NizF09, added-at = {2023-03-24T00:00:00.000+0100}, author = {de Niz, Dionisio and Feiler, Peter H.}, biburl = {https://www.bibsonomy.org/bibtex/29c5010d0ef8bb45e5a010c35519e9a22/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2009}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2009.18}, interhash = {802824e3c7c3ca40a3bb823be3a848a9}, intrahash = {9c5010d0ef8bb45e5a010c35519e9a22}, isbn = {978-0-7695-3702-3}, keywords = {dblp}, pages = {365-370}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:30:56.000+0200}, title = {Verification of Replication Architectures in AADL.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2009.html#NizF09}, year = 2009 }