Opponent/Committee member: Codefroid, P., Partial-Order Methods of the Verification of Concurrent Systems, An Approach to the State Explosion Problem
Activity: Examination › Pre-examination of dissertation or acting as opponent to doctoral students
Details
Country of activity
Publication forum classification
ID: 12258104