Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report UU-CS-2018-005

select other reports

report

techrep_id file title / author
UU-CS-2018-005 not
online
Some Reachability Results on Combining Petri Nets with Data Models
Jan Martijn van der Werf & Artem Polyvyanyy

indexed authors

author group
Werf, dr. ir. J.M.E.M. van der all reports Informatica Algemeen all reports

BibTeX entry

@TECHREPORT{UUCS2018005,
author = {Polyvyanyy, Jan~Martijn~~van~der~Werf~&~Artem},
year = 2018,
title = {Some Reachability Results on Combining Petri Nets with Data Models},
number = {UU-CS-2018-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}