Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen... - Autor(en)
- Laarman, Alfons
- Titel
- Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
- Verlag
- Springer International Publishing :
- Ort
- Cham :
- Erscheinungsjahr
- 2021.
Es wurden folgende elektronische Volltexte gefunden