Content Cannot be Displayed
Chat content cannot be displayed due to cookie settings. To view the content, modify your cookie settings to allow the following categories: Chat Services.
Cookie SettingsApt, K. R. a., de Boer, F. S. a., & Olderog, E. a. (2009). Verification of Sequential and Concurrent Programs (3rd ed. 2009.). Springer London. https://doi.org/10.1007/978-1-84882-745-5
Chicago Style CitationApt, Krzysztof R. author, Frank S. author de Boer, and Ernst-Rüdiger. author Olderog. Verification of Sequential and Concurrent Programs. 3rd ed. 2009. London: Springer London, 2009. https://doi.org/10.1007/978-1-84882-745-5.
MLA CitationApt, Krzysztof R. author, et al. Verification of Sequential and Concurrent Programs. 3rd ed. 2009. Springer London, 2009. https://doi.org/10.1007/978-1-84882-745-5.
Harvard Style CitationApt, K. R. a., de Boer, F. S. a. & Olderog, E. a. 2009. Verification of Sequential and Concurrent Programs. 3rd ed. 2009. London: Springer London.
Content Cannot be Displayed
Chat content cannot be displayed due to cookie settings. To view the content, modify your cookie settings to allow the following categories: Chat Services.
Cookie Settings