Search Results for Nielson, Flemming.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dNielson$00252C$002bFlemming.$0026te$003dILS$0026ps$003d300?2024-09-10T18:24:04ZPrinciples of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4845232024-09-10T18:24:04Z2024-09-10T18:24:04ZAuthor Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods An Appetizerent://SD_ILS/0/SD_ILS:4863582024-09-10T18:24:04Z2024-09-10T18:24:04ZAuthor Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05156-3">https://doi.org/10.1007/978-3-030-05156-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1898362024-09-10T18:24:04Z2024-09-10T18:24:04ZAuthor Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00945-7">http://dx.doi.org/10.1007/978-3-642-00945-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantics with Applications: An Appetizerent://SD_ILS/0/SD_ILS:1755142024-09-10T18:24:04Z2024-09-10T18:24:04ZAuthor Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-692-6">http://dx.doi.org/10.1007/978-1-84628-692-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>