%0 Thesis %1 phd/dnb/Vazquez01 %A Grau-Vázquez, Antonio-José %D 2001 %K dblp %P 1-279 %T Computer-aided validation of formal conceptual models.

@phdthesis{phd/dnb/Vazquez01, added-at = {2021-07-17T00:00:00.000+0200}, author = {Grau-Vázquez, Antonio-José}, biburl = {https://www.bibsonomy.org/bibtex/2051583176542dffabaece9031b9abe2a/dblp}, ee = {https://d-nb.info/961913916}, interhash = {86eda9bc5420f03bc9eef2e7074203a6}, intrahash = {051583176542dffabaece9031b9abe2a}, keywords = {dblp}, pages = {1-279}, school = {Braunschweig University of Technology, Germany}, timestamp = {2024-04-09T08:38:25.000+0200}, title = {Computer-aided validation of formal conceptual models.}, year = 2001 }