Fischer, B. e., & Geldenhuys, J. e. (2015). Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (1st ed. 2015.). Springer International Publishing. https://doi.org/10.1007/978-3-319-23404-5
Chicago-tyylinen lähdeviittausFischer, Bernd editor, ja Jaco. editor Geldenhuys. Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. 1st ed. 2015. Cham: Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-23404-5.
MLA-viiteFischer, Bernd editor, ja Jaco. editor Geldenhuys. Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. 1st ed. 2015. Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-23404-5.
Harvard-tyylinen lähdeviittausFischer, B. e. & Geldenhuys, J. e. 2015. Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. 1st ed. 2015. Cham: Springer International Publishing.
Sisältöä ei voida näyttää
Chat-sisältöä ei voida näyttää evästeasetusten vuoksi. Nähdäksesi sisällön sinun tulee sallia evästeasetuksista seuraavat: Chat-palveluiden evästeet.
Evästeasetukset
