A practical approach to incremental specification

Authors:
Charles Lakos;Glenn Lewis
Affiliations:
-;-
Venue:
Fourth International Conference on Formal methods for open object-based distributed systems IV
Year:
2000

Citing 0
Cited 1

The Challenge of Object Orientation for the Analysis of Concurrent Systems

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract