| Title: | Dynamic Transition Refinement | Authors: | Köhler, Michael  Rölke, Heiko |
Issue Date: | 2007 | Journal or Series Name: | Electronic notes in theoretical computer science : ENTCS | Volume: | 175 | Startpage: | 119 | Endpage: | 134 | URI: | http://hdl.handle.net/20.500.12738/640 | Institute: | Universität Hamburg | Type: | Article |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.