Design and Analysis of Cloud-Based Architectures with KLAIM and Maude

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Wirsing, Martin Eckhardt, Jonas M\, Tobias Meseguer, Jos\'{e}

Book title:	Proc. 9th International Workshop on Rewriting Logic and its Applications (WRLA 2012)


Month:	March


@conference{EckhardtAndWirsingWRLA, author = "Martin Wirsing and Jonas Eckhardt and Tobias M\ and Jos\'{e} Meseguer", booktitle = "Proc. 9th International Workshop on Rewriting Logic and its Applications (WRLA 2012)", doi = "10.1007/978-3-642-34005-5_4", month = "March", note = "partners: LMU and partners outside NESSoS (TU, Augsburg, Illinois); projects: NESSoS; NoTier cites:2", title = "{D}esign and {A}nalysis of {C}loud-{B}ased {A}rchitectures with {KLAIM} and {M}aude", year = "2012", }
Note:	partners: LMU and partners outside NESSoS (TU, Augsburg, Illinois); projects: NESSoS; NoTier cites:2
[Bibtex]