Primary tabs

Most recent publications

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
In Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784. Lecture Notes in Computer Science. Springer-Verlag, 2000.
Proceedings, refereed
2000
In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Proceedings, refereed
1998

Selected publications

Find publication

Status

Export 4 results:
2015

Proceedings, refereed

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
2000

Proceedings, refereed

In Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784. Lecture Notes in Computer Science. Springer-Verlag, 2000.
Status: Published
1998

Proceedings, refereed

In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Status: Published