Process-oriented Approach to Verification in Engineering.

Ekaterina Auer, Roger Cuypers, Wolfram Luther

Browse the full ICINCO paper archive.