%0 Conference Paper %1 conf/rtss/LarsenLPY97 %A Larsen, Kim Guldstrand %A Larsson, Fredrik %A Pettersson, Paul %A Yi, Wang %B RTSS %D 1997 %I IEEE Computer Society %K dblp %P 14-24 %T Efficient verification of real-time systems: compact data structure and state-space reduction. %U http://dblp.uni-trier.de/db/conf/rtss/rtss1997.html#LarsenLPY97 %@ 0-8186-8268-X

@inproceedings{conf/rtss/LarsenLPY97, added-at = {2023-03-24T00:00:00.000+0100}, author = {Larsen, Kim Guldstrand and Larsson, Fredrik and Pettersson, Paul and Yi, Wang}, biburl = {https://www.bibsonomy.org/bibtex/26d7943eccf2804324c558b4c984501e5/dblp}, booktitle = {RTSS}, crossref = {conf/rtss/1997}, ee = {https://doi.ieeecomputersociety.org/10.1109/REAL.1997.641265}, interhash = {fb91efdf4f6e160ba5204f3572639954}, intrahash = {6d7943eccf2804324c558b4c984501e5}, isbn = {0-8186-8268-X}, keywords = {dblp}, pages = {14-24}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:03:43.000+0200}, title = {Efficient verification of real-time systems: compact data structure and state-space reduction.}, url = {http://dblp.uni-trier.de/db/conf/rtss/rtss1997.html#LarsenLPY97}, year = 1997 }