Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira. Using the Base Semantics given by fUML for Verification. In Luís Ferreira Pires, Slimane Hammoudi, Joaquim Filipe, Rui César das Neves, editors, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. pages 5-16, SciTePress, 2014. [doi]
Abstract is missing.