diff options
Diffstat (limited to 'Assignment1/library.bib')
| -rwxr-xr-x | Assignment1/library.bib | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib index db19903..dc8247a 100755 --- a/Assignment1/library.bib +++ b/Assignment1/library.bib @@ -63,8 +63,8 @@ } @inproceedings{FiterauBrostean2017, - author={Fiterau-Brostean, Paul and Lenaerts, Toon and Poll, Erik and De Ruiter, Joeri and Vaandrager, Frits and Verleg, Patrick}, - title={Model Learning and Model Checking of SSH Implementations}, - booktitle={Proceedings 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 13--14 July 2017, Santa Barbara, USA}, - pages={142--151} + author = {Fiterau-Brostean, Paul and Lenaerts, Toon and Poll, Erik and De Ruiter, Joeri and Vaandrager, Frits and Verleg, Patrick}, + title = {Model Learning and Model Checking of SSH Implementations}, + booktitle = {Proceedings 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 13--14 July 2017, Santa Barbara, USA}, + pages = {142--151} } |