Computer Systems Section

Research output

  1. Testing Equivalences of Time Petri Nets

    Research output: Contribution to journalArticlepeer-review

  2. Causality-Based Testing in Time Petri Nets

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

View all (2) »

ID: 3432792