Inproceedings,

MTSA: The Modal Transition System Analyser.

, , , and .
ASE, page 475-476. IEEE Computer Society, (2008)

Meta data

Tags

Users

  • @dblp

Comments and Reviews