Sciweavers

APN
2006
Springer
14 years 4 months ago
The BRITNeY Suite Animation Tool
Abstract. This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an e...
Michael Westergaard, Kristian Bisgaard Lassen