MTSA: The Modal Transition System Analyser

Nicolás D Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel. MTSA: The Modal Transition System Analyser. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, Italy. pages 475-476, IEEE, 2008. [doi]

Authors

Nicolás D Ippolito

This author has not been identified. Look up 'Nicolás D Ippolito' in Google

Dario Fischbein

This author has not been identified. Look up 'Dario Fischbein' in Google

Marsha Chechik

This author has not been identified. Look up 'Marsha Chechik' in Google

Sebastián Uchitel

This author has not been identified. Look up 'Sebastián Uchitel' in Google