@inproceedings{SMT-2014-CarlssonGP,
author = "Mats Carlsson and Olga Grinchtein and Justin Pearson",
booktitle = "{Proceedings of the 12th International Workshop on Satisfiability Modulo Theories}",
editor = "Philipp Rümmer and Christoph M. Wintersteiger",
openpdf = "http://ceur-ws.org/Vol-1163/paper-04.pdf",
pages = "17--26",
publisher = "{CEUR-WS.org}",
series = "{CEUR Workshop Proceedings}",
title = "{Protocol Log Analysis with Constraint Programming}",
url = "http://ceur-ws.org/Vol-1163/#paper-04",
volume = 1163,
year = 2014,
}
Tags: