TY  - RPRT
TI  - An Entry Point for Formal Methods: Specification and Analysis of Event Logs
AU  - Howard Barringer
AU  - Alex Groce
AU  - Klaus Havelund
AU  - Margaret Smith
PY  - 2010
DO  - 10.4204/eptcs.20.2
UR  - https://arxiv.org/abs/1003.1682
ID  - 1003.1682
ER  -