Flexible agent grouping in executable temporal logic
From MaRDI portal
Publication:2758302
zbMATH Open1006.68021MaRDI QIDQ2758302
Publication date: 25 March 2002
Theory of programming languages (68N15) General topics in the theory of software (68N01) Temporal logic (03B44)
Related Items (1)
This page was built for publication: Flexible agent grouping in executable temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2758302)