SeBip: A Symbolic Executor for BIP

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.26 ◽

2015 ◽

Author(s):

Wang Qiang ◽

Simon Bliudze

Download Full-text