List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@inproceedings{ST99a,
 author = {Karsten Strehl and Lothar Thiele},
 title = {Interval Diagram Techniques for Symbolic Model Checking of Petri Nets},
 address = {Munich, Germany},
 booktitle = {Proceedings of the Design, Automation and Test in Europe Conference (DATE99)},
 pages = {756--757},
 month = {Mar},
 year = {1999}
}

---

1 entry found.

 
 Back