List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@inproceedings{Str99,
 author = {Karsten Strehl},
 title = {Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification},
 address = {Hong Kong},
 booktitle = {Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA `99)},
 pages = {488--491},
 month = {Dec},
 year = {1999}
}

---

1 entry found.

 
 Back