%0 Journal Article %1 journals/ansoft/TsaiX00 %A Tsai, Jeffrey J. P. %A Xu, Kuang %D 2000 %J Ann. Softw. Eng. %K %P 207-223 %T A comparative study of formal verification techniques for software architecture specifications. %U http://dblp.uni-trier.de/db/journals/ansoft/ansoft10.html#TsaiX00 %V 10

@article{journals/ansoft/TsaiX00, added-at = {2023-12-13T01:03:40.000+0100}, author = {Tsai, Jeffrey J. P. and Xu, Kuang}, biburl = {https://www.bibsonomy.org/bibtex/242395d82fe302fbf38948f14abbf5b85/admin}, ee = {https://doi.org/10.1023/A:1018960305057}, interhash = {6c436bc9504a7e3c624994f8ec608108}, intrahash = {42395d82fe302fbf38948f14abbf5b85}, journal = {Ann. Softw. Eng.}, keywords = {}, pages = {207-223}, timestamp = {2023-12-13T01:03:40.000+0100}, title = {A comparative study of formal verification techniques for software architecture specifications.}, url = {http://dblp.uni-trier.de/db/journals/ansoft/ansoft10.html#TsaiX00}, volume = 10, year = 2000 }