Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-319-02444-8_20 | ATVA |
Keywords | Field | DocType |
computer science | Lossy compression,Computer science,Satisfiability,Communication channel,Algorithm,Reachability,Theoretical computer science,Reachability problem,Message passing,Bounded function,Undecidable problem | Conference |
Citations | PageRank | References |
3 | 0.41 | 19 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Parosh Aziz Abdulla | 1 | 2010 | 122.22 |
Mohamed Faouzi Atig | 2 | 505 | 40.94 |
Jonathan Cederberg | 3 | 45 | 3.89 |