%0 Journal Article %1 journals/topnoc/StrandKP23 %A Strand, Ruben Dobler %A Kristensen, Lars Michael %A Petrucci, Laure %B Trans. Petri Nets and Other Models of Concurrency %D 2023 %E Koutny, Maciej %E Bergenthum, Robin %E Ciardo, Gianfranco %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 27-53 %T Development and Verification of a Microservice Architecture for a Fire Risk Notification System. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc17.html#StrandKP23 %V 17 %@ 978-3-662-68191-6

@article{journals/topnoc/StrandKP23, added-at = {2023-11-12T00:00:00.000+0100}, author = {Strand, Ruben Dobler and Kristensen, Lars Michael and Petrucci, Laure}, biburl = {https://www.bibsonomy.org/bibtex/21360572f4ca4d02a36de17a25e0de079/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2023-17}, editor = {Koutny, Maciej and Bergenthum, Robin and Ciardo, Gianfranco}, ee = {https://doi.org/10.1007/978-3-662-68191-6_2}, interhash = {385f81084bd30a6301c8552d6393f4d6}, intrahash = {1360572f4ca4d02a36de17a25e0de079}, isbn = {978-3-662-68191-6}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {27-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:30:57.000+0200}, title = {Development and Verification of a Microservice Architecture for a Fire Risk Notification System.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc17.html#StrandKP23}, volume = 17, year = 2023 }