%0 Journal Article %1 journals/tr/LiuMC10 %A Liu, Shaoying %A McDermid, John A. %A Chen, Yuting %D 2010 %J IEEE Trans. Reliab. %K dblp %N 4 %P 667-684 %T A Rigorous Method for Inspection of Model-Based Formal Specifications. %U http://dblp.uni-trier.de/db/journals/tr/tr59.html#LiuMC10 %V 59

@article{journals/tr/LiuMC10, added-at = {2024-10-24T00:00:00.000+0200}, author = {Liu, Shaoying and McDermid, John A. and Chen, Yuting}, biburl = {https://www.bibsonomy.org/bibtex/2a93a611662cb3ab0d02bebf3677b7665/dblp}, ee = {https://doi.org/10.1109/TR.2010.2085571}, interhash = {097117c068412723aa70d68405e7109d}, intrahash = {a93a611662cb3ab0d02bebf3677b7665}, journal = {IEEE Trans. Reliab.}, keywords = {dblp}, number = 4, pages = {667-684}, timestamp = {2024-10-28T07:07:02.000+0100}, title = {A Rigorous Method for Inspection of Model-Based Formal Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tr/tr59.html#LiuMC10}, volume = 59, year = 2010 }