Skip to Content

autore : Alberto Martelli

2 pubblicazioni
page_white_acrobat Verifying Communicating Agents by Model Checking in a Temporal Action Logic (2004) — Laura Giordano, Alberto Martelli, Camilla Schwind
page_white_acrobat An Efficient Unification Algorithm (ACM Transactions on Programming Languages and Systems, 1982) — Alberto Martelli, Ugo Montanari
[ Nuvola degli autori  /  pubblicazioni ]