Membership
Tour
Register
Log in
Fang Yu
Follow
Person
Goleta, CA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Applications
last 30 patents
Information
Patent Application
MODULAR VERIFICATION OF WEB SERVICES USING EFFICIENT SYMBOLIC ENCOD...
Publication number
20090222249
Publication date
Sep 3, 2009
NEC Laboratories America, Inc.
Chao Wang
G06 - COMPUTING CALCULATING COUNTING