[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

HalleVillemaireCherkoui09
  1. Sylvain Halle & Roger Villemaire & Omar Cherkaoui
  2. Specifying and validating data-aware temporal web service properties
  3. IEEE Trans Software Engineering V35n5(Sep/Oct 2009)pp669-683
  4. =THEORY TOOL LANGUAGE TEMPORAL LOGIC DATA WEB SERVICES CTL-FO+ PSPACE-complete PROOF

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]