Publication:4417947
From MaRDI portal
zbMath1031.68659MaRDI QIDQ4417947
Stefano Filippone, Riccardo Focardi, Carla Piazza, Agostino Cortesi, Chiara Braghin, Flaminia L. Luccio
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