Abstracting WS1S Systems to Verify Parameterized Networks.

Kai Baukus Saddek Bensalem Yassine Lakhnech Karsten Stahl

Published in: TACAS (2000)

Keyphrases

complex systems
social networks
artificial neural networks
computer systems
building blocks
service oriented
real time
data sets
information systems
image sequences
data structure
management system
social network analysis
computer networks