Search Results for - Narrowed by: Logic design. - Leue, Stefan. editor.
SirsiDynix Enterprise
https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dAUTHOR$002509Author$002509Leue$00252C$002bStefan.$002beditor.$002509Leue$00252C$002bStefan.$002beditor.$0026ps$003d300?
2024-05-25T16:46:30Z
Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:503548
2024-05-25T16:46:30Z
2024-05-25T16:46:30Z
by Leue, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79707-4">http://dx.doi.org/10.1007/978-3-540-79707-4</a><br/>Format: Electronic Resources<br/>
Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:510395
2024-05-25T16:46:30Z
2024-05-25T16:46:30Z
by Leue, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/b137052">http://dx.doi.org/10.1007/b137052</a><br/>Format: Electronic Resources<br/>