@inproceedings{WAH19,
	author = {Waga, Masaki and Andr{\'e}, {\'E}tienne and Hasuo, Ichiro},
	title = {Symbolic Monitoring against Specifications Parametric in Time and Data},
	longbooktitle = {Proceedings of the 31st International Conference on Computer-Aided Verification ({CAV} 2019)},
	booktitle = {{CAV}},
	editor = {Dillig, Işil and Tasiran, Serdar},
	location = {New York City, USA},
	confdates = {15-18 July 2019},
	publisher = {Springer},
	series    = {\LNCS{}},
	doi = {10.1007/978-3-030-25540-4_30},
	pages = {520--539},
	volume = {11561},
	year = {2019},
}