Transient solutions of a software model with imperfect debugging and generation of errors by two servers

From MaRDI portal