A negative result on depth-first net unfoldings

  • Authors:

  • Javier Esparza;Pradeep Kanade;Stefan Schwoon

  • Affiliations:

  • University of Stuttgart, Institute for Formal Methods in Computer Science, Stuttgart, Germany;IIT Bombay, Department of Computer Science and Engineering, Mumbai, India;University of Stuttgart, Institute for Formal Methods in Computer Science, Stuttgart, Germany

  • Venue:
  • International Journal on Software Tools for Technology Transfer (STTT)
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract