LEA

BibTex

@techreport{MW-2015,
  author={Mayr, Ernst W. and Weihmann, Jeremias},
  title={Complexity Results for Fork-Free Petri Nets},
  number={TUM-I1514},
  institution={Institut f{\"u}r Informatik, TU M{\"u}nchen},
  month={Jan},
  year={2015}
}