Artur Oliveira Gomes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2009–2019
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Towards a Model-Checker for Circus. | Artur Oliveira Gomes, Andrew Butterfield |
| 2019 | FM | Circus2CSP: A Tool for Model-Checking Circus Using FDR. | Artur Oliveira Gomes, Andrew Butterfield |
| 2009 | FM | Formal Specification of a Cardiac Pacing System. | Artur Oliveira Gomes, Marcel Vincius Medeiros Oliveira |