Search Results for Clarke, Edmund M.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dClarke$00252C$002bEdmund$002bM.$0026ps$003d300?2024-09-28T00:34:35ZHandbook of Model Checkingent://SD_ILS/0/SD_ILS:2242052024-09-28T00:34:35Z2024-09-28T00:34:35ZYazar Clarke, Edmund M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Proof, language, and interaction : essays in honour of Robin Milnerent://SD_ILS/0/SD_ILS:145962024-09-28T00:34:35Z2024-09-28T00:34:35ZYazar Plotkin, G. (Gordon), 1946-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426</a><br/>Format: Electronic Resources<br/>