Monitoring Temporal Permissions using Partially Evaluated Transition Graphs

Scarlet Schwiderski, Gunter Saake. Monitoring Temporal Permissions using Partially Evaluated Transition Graphs. In Udo W. Lipeck, Bernhard Thalheim, editors, Modelling Database Dynamics, Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse (near Braunschweig), Germany, 19-23 October 1992. Workshops in Computing, pages 196-217, Springer, 1992.

@inproceedings{SchwiderskiS92,
  title = {Monitoring Temporal Permissions using Partially Evaluated Transition Graphs},
  author = {Scarlet Schwiderski and Gunter Saake},
  year = {1992},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/SchwiderskiS92},
  cites = {0},
  citedby = {0},
  pages = {196-217},
  booktitle = {Modelling Database Dynamics, Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse (near Braunschweig), Germany, 19-23 October 1992},
  editor = {Udo W. Lipeck and Bernhard Thalheim},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19803-2},
}