Author:
ter Beek Maurice H.,Gnesi Stefania,Mazzanti Franco
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wąsowski, A.: 20 Years of modal and mixed specifications. Bull. EATCS 95, 94–129 (2008)
2. Åqvist, L.: Deontic logic. Handbook of Philosophical Logic, 2nd edn, pp. 147–264. Kluwer, Dordrecht (2002)
3. Lecture Notes in Computer Science;P Asirelli,2010
4. Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal description of variability in product families. In: SPLC 2011, pp. 130–139. IEEE (2011)
5. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119–135 (2011)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献