|
@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} }