%0 Journal Article %1 journals/infsof/HaghverdiU99 %A Haghverdi, Esfandiar %A Ural, Hasan %D 1999 %J Inf. Softw. Technol. %K dblp %N 8 %P 499-506 %T Submodule construction from concurrent system specifications. %U http://dblp.uni-trier.de/db/journals/infsof/infsof41.html#HaghverdiU99 %V 41

@article{journals/infsof/HaghverdiU99, added-at = {2020-02-20T00:00:00.000+0100}, author = {Haghverdi, Esfandiar and Ural, Hasan}, biburl = {https://www.bibsonomy.org/bibtex/2df7d60341d2100abe50f8c499983bb52/dblp}, ee = {https://doi.org/10.1016/S0950-5849(99)00014-2}, interhash = {2202c2aaaffd7785e324bfa68088b2cf}, intrahash = {df7d60341d2100abe50f8c499983bb52}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = 8, pages = {499-506}, timestamp = {2020-02-21T13:02:58.000+0100}, title = {Submodule construction from concurrent system specifications.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof41.html#HaghverdiU99}, volume = 41, year = 1999 }