Validation of EXPRESS Models Using Prolog
G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 1991.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Lehrenfeld, Georg;
Müller, WolfgangLibreCat
Publishing Year
Proceedings Title
Proceedings of the 1st EXPRESS User's Group Conference
LibreCat-ID
Cite this
Lehrenfeld G, Müller W. Validation of EXPRESS Models Using Prolog. In: Proceedings of the 1st EXPRESS User’s Group Conference. ; 1991.
Lehrenfeld, G., & Müller, W. (1991). Validation of EXPRESS Models Using Prolog. Proceedings of the 1st EXPRESS User’s Group Conference.
@inproceedings{Lehrenfeld_Müller_1991, place={Houston TX, USA}, title={Validation of EXPRESS Models Using Prolog}, booktitle={Proceedings of the 1st EXPRESS User’s Group Conference}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1991} }
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” In Proceedings of the 1st EXPRESS User’s Group Conference. Houston TX, USA, 1991.
G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” Proceedings of the 1st EXPRESS User’s Group Conference, 1991.
Google Scholar