Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-30985-5_24 | From Software Engineering to Formal Methods and Tools, and Back |
Field | DocType | Citations |
Synchronization,Model checking,Programming language,Computer science,Iterative method,Deadlock,Thread (computing),Theoretical computer science,Compiler,Formal methods,Formal verification | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Viet-Anh Nguyen | 1 | 0 | 0.34 |
Wendelin Serwe | 2 | 0 | 0.34 |
Radu Mateescu | 3 | 1287 | 77.10 |
Eric Jenn | 4 | 0 | 0.34 |