Search Results for Logic design. - Narrowed by: Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign.$0026qf$003dAUTHOR$002509Author$002509Beyer$00252C$002bDirk.$002beditor.$002b$002528orcid$0025290000-0003-4832-7662$002509Beyer$00252C$002bDirk.$002beditor.$002b$002528orcid$0025290000-0003-4832-7662$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list 2024-05-23T18:12:27Z Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400605 2024-05-23T18:12:27Z 2024-05-23T18:12:27Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400641 2024-05-23T18:12:27Z 2024-05-23T18:12:27Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>