%0 Conference Paper %1 Dwyer99 %A Dwyer, Matthew B. %A Avrunin, George S. %A Corbett, James C. %B Proceedings of the 21st International Conference on Software Engineering (ICSE'99) %D 1999 %K patterns specification %T Patterns in Property Specifications for Finite-state Verification

@inproceedings{Dwyer99, added-at = {2014-07-07T12:25:32.000+0200}, author = {Dwyer, Matthew B. and Avrunin, George S. and Corbett, James C.}, biburl = {https://www.bibsonomy.org/bibtex/2bb777b5b1e55207ba1d2775f565f8e28/andiv}, booktitle = {Proceedings of the 21st International Conference on Software Engineering (ICSE'99)}, interhash = {86cd6effe675432266b881dd31704506}, intrahash = {bb777b5b1e55207ba1d2775f565f8e28}, keywords = {patterns specification}, timestamp = {2014-07-07T12:25:32.000+0200}, title = {Patterns in Property Specifications for Finite-state Verification}, year = 1999 }