In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …
In: J. Favela; E. Manasalvas (Hrsg.). Proceedings of Atlantic Web Intelligence Conference, AWIC04. Atlantic Web Intelligence Conference (AWIC), LNCS, …