| Publisher DOI: | 10.1016/S0167-6423(00)00022-8 | Title: | Rule-based refinement of high-level nets preserving safety properties | Authors: | Padberg, Julia Gajewsky, Magdalena Ermel, Claudia |
Issue Date: | 2001 | Journal or Series Name: | Science of computer programming : methods of software design: techniques and applications | Volume: | 40 | Issue: | 1 | Startpage: | 97 | Endpage: | 118 | URI: | http://hdl.handle.net/20.500.12738/3385 | ISSN: | 0167-6423 | 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.