![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 12327 (25th International Conference, FMICS 2020, Vienna, Austria, September 2â3, 2020, Proceedings) ||
ter Beek, Maurice H., NiÄkoviÄ, DejanVolume:
10.1007/97
Year:
2020
DOI:
10.1007/978-3-030-58298-2
File:
PDF, 14.54 MB
2020