1982/01/01 by Juris Hartmanis · 14 citationsComputer Science · #Computability, Logic, AI Algorithms #Software Reliability and Analysis Research #Distributed systems and fault tolerance
paper · doi:10.1137/1024022