Nasreddine Aoumeur. Specifying and validating consistent and dynamically evolving concurrent information systems: an object Petri net based approach. PhD thesis, Otto-von-Guericke University Magdeburg, Germany, 2002. [doi]
@phdthesis{dnb-14034,
title = {Specifying and validating consistent and dynamically evolving concurrent information systems: an object Petri net based approach},
author = {Nasreddine Aoumeur},
year = {2002},
url = {http://d-nb.info/963947621},
researchr = {https://researchr.org/publication/dnb-14034},
cites = {0},
citedby = {0},
school = {Otto-von-Guericke University Magdeburg, Germany},
}