%0 Journal Article %1 journals/ijseke/KangK95 %A Kang, Kyo Chul %A Ko, Kwang-Il %D 1995 %J International Journal of Software Engineering and Knowledge Engineering %K dblp %N 3 %P 407-422 %T Parts: a Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints. %U http://dblp.uni-trier.de/db/journals/ijseke/ijseke5.html#KangK95 %V 5

@article{journals/ijseke/KangK95, added-at = {2008-07-09T00:00:00.000+0200}, author = {Kang, Kyo Chul and Ko, Kwang-Il}, biburl = {https://www.bibsonomy.org/bibtex/2f46f4fa26e6340230c4e0171af07d78d/dblp}, date = {2008-07-09}, description = {dblp}, ee = {http://dx.doi.org/10.1142/S0218194095000204}, interhash = {660608ff0831f8d351e9cdfcaf031696}, intrahash = {f46f4fa26e6340230c4e0171af07d78d}, journal = {International Journal of Software Engineering and Knowledge Engineering}, keywords = {dblp}, number = 3, pages = {407-422}, timestamp = {2008-07-10T11:58:27.000+0200}, title = {Parts: a Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints.}, url = {http://dblp.uni-trier.de/db/journals/ijseke/ijseke5.html#KangK95}, volume = 5, year = 1995 }