Skip to content

Timed Model Checking Based Approach for Web Services Analysis.

Nawal Guermouche, Claude Godart

VenueAICWS
Year2009
ProceedingsICWS

Browse the full ICWS paper archive.