Anna Bernasconi is qualified to endorse.
From model checking to a temporal proof for partial models: preliminary example
| Anna Bernasconi: | Is registered as an author of this paper. Can endorse for cs.CL, cs.DB, cs.DL, cs.IR, cs.LO, cs.SI. (why?) |
C. Menghi, P. Spoletini, L. D. Zuck and C. Ghezzi are not registered as owners of this paper. (why?)