Gonçalo Alves, João Sarraipa, João P. Mendonça da Silva, Ricardo Jardim-Gonçalves. A Framework for Semantic Checking of Information Systems. In Antonio De Nicola 0001, Michele Missikoff, Fabrizio Smith, editors, Proceedings of the Fifth Interop-Vlab.It Workshop on Complexity of Systems, Complexity of Interoperability, INVIT 2012, Rome, Italy, September 28, 2012. Volume 915 of CEUR Workshop Proceedings, pages 88-91, CEUR-WS.org, 2012. [doi]
Abstract is missing.