Skip to main content
Article thumbnail
Location of Repository

Model Generation for Appllications - A Tableaux Method

By François Bry and Sunna Torge
Topics: Mathematik, Informatik und Statistik, ddc:004
Year: 1997
OAI identifier: oai:epub.ub.uni-muenchen.de:14859
Provided by: Open Access LMU

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.