@misc{ais_repository_1460,
  title = {Logical Foundations of Cyber-Physical Systems},
  author = {André Platzer},
  year = {2018},
  publisher = {Springer Science+Business Media},
  howpublished = {Repository AIS},
  note = {oai:ais:library-item:18880}
}