TSE paper accepted: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Synthesising modal transition systems from triggered scenarios.

Submitted by Anonymous (not verified) on 09/12

9/12 TSE paper accepted: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Synthesising modal transition systems from triggered scenarios.

Undefined