GitHub - areynoua/cs_memoir: Computer Science Memoir: The coverability problem for parametric petri nets · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 127 Commits
parts		parts
res		res
.gitignore		.gitignore
.vimrc		.vimrc
files.sh		files.sh
info.bib		info.bib
main.tex		main.tex
makefile		makefile
options.tex		options.tex
texout.py		texout.py
vim.sh		vim.sh

About

Computer Science Memoir: The coverability problem for parametric petri nets

Report repository

Releases

No releases published

Packages

Contributors

Languages