Browsing by Author "Kreowski, H.-J."
Now showing items 1-1 of 1
Redundancy and subsumption in high-level replacement systems Valiente Feruglio, Gabriel Alejandro; Kreowski, H.-J. (1999-07)
Open AccessSystem verification in the broadest sense deals with those semantic properties that can be decided or deduced by analyzing a syntactical description of the system. Hence, one may consider the notions of redundancy ...