1
Advances in Model and Data Engineering in the Digitalization Era [E-Book] : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings /
2
Formal Techniques for Networked and Distributed Systems – FORTE 2007 [E-Book] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /