[ACM Press the fourth international workshop - St. Louis, Missouri (2005.05.20-2005.05.20)] Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools - SCESM '05 - Harmonizing intra- and inter-object specification and verification
Ehrich, Hans-DieterYear:
2005
Language:
english
DOI:
10.1145/1083183.1083184
File:
PDF, 27 KB
english, 2005