Search Results for Riis Nielson, Hanne. - Narrowed by: 2019 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRiis$002bNielson$00252C$002bHanne.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092019$0025092019$0026ic$003dtrue$0026ps$003d300? 2024-11-06T16:44:02Z Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485968 2024-11-06T16:44:02Z 2024-11-06T16:44:02Z Author&#160;Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22397-7">https://doi.org/10.1007/978-3-030-22397-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods An Appetizer ent://SD_ILS/0/SD_ILS:486358 2024-11-06T16:44:02Z 2024-11-06T16:44:02Z Author&#160;Nielson, Flemming. author. (orcid)0000-0001-7362-6176&#160;Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>