List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@techreport{ST98a,
 author = {Karsten Strehl and Lothar Thiele},
 title = {Symbolic Model Checking Using Interval Diagram Techniques},
 institution = {Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich},
 number = {40},
 month = {Feb},
 year = {1998}
}

---

1 entry found.

 
 Back