Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
German E. Sibay. Synthesis and distribution of modal transition systems from triggered scenarios. PhD thesis, Imperial College London, UK, 2013. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Synthesizing Modal Transition Systems from Triggered ScenariosGerman E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer. TSE, 39(7):975-1001, 2013. [doi]
The following publications are possibly variants of this publication: