Undecidable verification problems for programs with unreliable channels
Work
Year: 1994
Type: book-chapter
Authors Parosh Aziz Abdulla, Bengt Jönsson
Institution Uppsala University
Cites: 25
Cited by: 21
Related to: 10
FWCI: 5.816
Citation percentile (by year/subfield): 88.82
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed