@inproceedings{Giannakopoulou,
    doi = {10.1109/ase.2001.989841},
    url = {https://doi.org/10.1109%2Fase.2001.989841},
    publisher = {{IEEE} Comput. Soc},
    author = {D. Giannakopoulou and K. Havelund},
    title = {Automata-based verification of temporal properties on running programs},
    booktitle = {Proceedings 16th Annual International Conference on Automated Software Engineering ({ASE} 2001)}
}

@inproceedings{Giannakopoulou, doi = {10.1109/ase.2001.989841}, url = {https://doi.org/10.1109%2Fase.2001.989841}, publisher = {{IEEE} Comput. Soc}, author = {D. Giannakopoulou and K. Havelund}, title = {Automata-based verification of temporal properties on running programs}, booktitle = {Proceedings 16th Annual International Conference on Automated Software Engineering ({ASE} 2001)} }