Sciweavers

Share
ENTCS
2006
130views more  ENTCS 2006»
9 years 9 months ago
LSC Verification for UML Models with Unbounded Creation and Destruction
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
Bernd Westphal
books