| Publisher DOI: | 10.1016/j.entcs.2009.03.025 | Title: | Towards Component Verification in the Generic Component Framework | Authors: | Padberg, Julia Ehrig, Hartmut Orejas, Fernando |
Issue Date: | 2009 | Journal or Series Name: | Electronic notes in theoretical computer science : ENTCS | Volume: | 203 | Issue: | 7 | Startpage: | 37 | Endpage: | 53 | URI: | http://hdl.handle.net/20.500.12738/3064 | Institute: | Technische Universität Berlin | 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.