List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@inproceedings{St98b,
 author = {Karsten Strehl and Lothar Thiele},
 title = {Symbolic Model Checking of Process Networks Using Interval Diagram Techniques},
 address = {San Jose, California},
 booktitle = {Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD-98)},
 pages = {686--692},
 month = {Nov},
 year = {1998}
}

---

1 entry found.

 
 Back