If you made any changes in Pure these will be visible here soon.

Research Output 1986 2019

Filter
Book

Recent trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006

Fiadeiro, J. L. (ed.) & Schobbens, P-Y. (ed.), 2007, Springer. 170 p. (Lecture Notes in Computer Science (LNCS); vol. 4409)

Research output: Book/Report/JournalBook

1999

Formal Models of Agents

Meyer, J-J. C. (ed.) & Schobbens, P-Y. (ed.), 1999, Springer Verlag. 251 p. (Lecture Notes in Computer Science; vol. 1760)

Research output: Book/Report/JournalBook

1997

Proceedings of ModelAge'97: formal models of agents

Cesta, A. & Schobbens, P., 1997, Consiglio Nationale de Ricerca. (Technical Report)

Research output: Book/Report/JournalBook