Ke Xu, Ying Liu, Cheng Wu
BPSL Modeler — Visual Notation Language for Intuitive Business Property Reasoning
GT-VMT, 2008.
@article{GT-VMT-2006-XuLW08,
author = "Ke Xu and Ying Liu and Cheng Wu",
doi = "10.1016/j.entcs.2008.04.043",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "211--220",
title = "{BPSL Modeler — Visual Notation Language for Intuitive Business Property Reasoning}",
volume = 211,
year = 2008,
}