Publication:4417947
From MaRDI portal
zbMath1031.68659MaRDI QIDQ4417947
Riccardo Focardi, Flaminia L. Luccio, Chiara Braghin, Agostino Cortesi, Carla Piazza, Stefano Filippone
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190437.htm
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
68T99: Artificial intelligence
Related Items