Towards Verifying Distributed Systems Using Object-Oriented Petri Nets (original) (raw)

Lecture Notes in Computer Science, 2000

Vladimír Janoušek hasn't uploaded this paper.

Let Vladimír know you want this paper to be uploaded.

Ask for this paper to be uploaded.