Louis C. M. van Gool
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2020–2024
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMICS | Formalising the Industrial Language SMMT in mCRL2. | Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2023 | SOFSEM | On the Preservation of Properties When Changing Communication Models. | Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2020 | FMICS | Formal Verification of OIL Component Specifications using mCRL2. | Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |