Search Results for Logic design - Narrowed by: Rozenberg, Grzegorz. editor. - SpringerLink (Online service) - Taentzer, Gabriele. editor. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign$0026qf$003dAUTHOR$002509Author$002509Rozenberg$00252C$002bGrzegorz.$002beditor.$002509Rozenberg$00252C$002bGrzegorz.$002beditor.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dAUTHOR$002509Author$002509Taentzer$00252C$002bGabriele.$002beditor.$002509Taentzer$00252C$002bGabriele.$002beditor.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-08-22T14:41:26Z Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188842 2024-08-22T14:41:26Z 2024-08-22T14:41:26Z Author&#160;Ehrig, Hartmut. editor.&#160;Heckel, Reiko. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:182933 2024-08-22T14:41:26Z 2024-08-22T14:41:26Z Author&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Montanari, Ugo. editor.&#160;Orejas, Fernando. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>