Research output

  1. MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE

    Research output: Contribution to journal › Article › peer-review

View all (1) »

Activities

  1. Mechanized Theory of Event Structures: A Case of Parallel Register Machine

    Activity: Conference talk types › Oral presentation

View all (1) »

ID: 28933838