List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@article{ST00,
 author = {Karsten Strehl and Lothar Thiele},
 title = {Interval Diagrams for Efficient Symbolic Verification of Process Networks},
 journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
 number = {8},
 pages = {939--956},
 volume = {19},
 month = {Aug},
 year = {2000}
}

---

1 entry found.

 
 Back