Christoph Lindemann;Friedrich Schön
-;-
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets