%0 Journal Article %1 journals/spe/KangLLK98 %A Kang, Kyo Chul %A Lee, Kwan W. %A Lee, Ji Y. %A Kim, Gerard Jounghyun %D 1998 %J Softw. Pract. Exp. %K dblp %N 4 %P 445-462 %T ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications. %U http://dblp.uni-trier.de/db/journals/spe/spe28.html#KangLLK98 %V 28

@article{journals/spe/KangLLK98, added-at = {2020-04-09T00:00:00.000+0200}, author = {Kang, Kyo Chul and Lee, Kwan W. and Lee, Ji Y. and Kim, Gerard Jounghyun}, biburl = {https://www.bibsonomy.org/bibtex/2e1836bb46471cf3b7da6aa040116916a/dblp}, ee = {https://doi.org/10.1002/(SICI)1097-024X(19980410)28:4<445::AID-SPE166>3.0.CO;2-J}, interhash = {55b4ae62f0b9a19be2b09429b4230863}, intrahash = {e1836bb46471cf3b7da6aa040116916a}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 4, pages = {445-462}, timestamp = {2020-04-10T11:55:24.000+0200}, title = {ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe28.html#KangLLK98}, volume = 28, year = 1998 }