Cited By
View all- Margaria TSteffen B(2006)Backtracking-free design planning by automatic synthesis in metaframeFundamental Approaches to Software Engineering10.1007/BFb0053591(188-204)Online publication date: 23-May-2006
- Wagner F(1993)A framework-based realization of an environment for formal hardware verification1993 European Conference on Design Automation with the European Event in ASIC Design10.1109/EDAC.1993.386503(41-45)Online publication date: 1993
- Dewal SEmmerich WLichtinghagen K(1992)A decision support method for the selection of OMSsProceedings of the Second International Conference on Systems Integration10.1109/ICSI.1992.217285(32-40)Online publication date: 1992
- Show More Cited By