Testing for Race Conditions in Distributed Systems via SMT Solving
Testing for Race Conditions in Distributed Systems via SMT Solving
| dc.contributor.author | Machado,N | en |
| dc.contributor.author | Pereira,JC | en |
| dc.contributor.author | Jorge Sousa Pinto | en |
| dc.contributor.other | 5595 | en |
| dc.date.accessioned | 2020-07-21T12:56:54Z | |
| dc.date.available | 2020-07-21T12:56:54Z | |
| dc.date.issued | 2020 | en |
| dc.description.abstract | en | |
| dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/11447 | |
| dc.identifier.uri | http://dx.doi.org/10.1007/978-3-030-50995-8_7 | en |
| dc.language | eng | en |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.title | Testing for Race Conditions in Distributed Systems via SMT Solving | en |
| dc.type | Publication | en |
| dc.type | conferenceObject | en |
Files
Original bundle
1 - 1 of 1