TY - GEN
AU - Association for Computing Machinery-Digital Library
TI - Proceedings of the Fourth Workshop on International Science of Smart City Operations and Platforms Engineering
PB - ACM
SN - 9781450367035
KW - Computer science
KW - Model verification and validation
KW - Embedded and cyber-physical systems
KW - Distributed architectures
KW - Konferenzschrift
PY - 2019
N2 - Title from The ACM Digital Library
BT - ACM Digital Library
BT - ACM Other conferences
CY - New York, NY
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation