Universidad de Zaragoza Repository

@article{Mahulea:79155,
      author        = "Mahulea, C. and Kloetzer, M.",
      title         = "{Robot planning based on boolean specifications using
                       petri net models}",
      year          = "2018",
}