@article{1466099,
      recid = {1466099},
      author = {Thiel, Sebastian,},
      title = {Petri-Netz basierte verifikation von funktionalen  testfallen /},
      pages = {1 online resource (227 pages) :},
      url = {http://library.usi.edu/record/1466099},
}