@inproceedings{hussain2014epispec,
author    = {Faraz Hussain and
               Arvind Ramanathan and
               Laura L. Pullum and
               Sumit Kumar Jha},
title={{EpiSpec: A Formal Specification Language for Parameterized Agent-Based Models against Epidemiological Ground Truth}},
booktitle = {Proceedings of the 4th {IEEE} International Conference on Computational Advances in Bio and Medical Sciences ({ICCABS} 2014)},
year      = {2014},
doi       = {10.1109/ICCABS.2014.6863924},
address = {Miami, FL},
pages = {1--6},
keywords = {conf},
month = {June},
publisher = {{IEEE}}
}