Synthesizing Semantic Web Service Compositions with jMosel and Golog
ISWC '09 Proceedings of the 8th International Semantic Web Conference
jMosel: a stand-alone tool and jABC plugin for M2L(str)
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Hi-index | 0.00 |