Fundamenta Informaticae > 2008 > Vol. 85, nr 1-4 > 313-328
Źródło
Abstrakt
Identyfikatory
ISSN czasopisma : | 0169-2968 |
e-ISSN czasopisma : | 1875-8681 |
Autorzy
Informacje dodatkowe
Wydawca
Obszary wiedzy
Bibliografia
-
[1] R. Bordini, M. Fisher, C. Pardavila, W. Visser, and M. Wooldridge. Model checking multi-agent programs with CASP. In Proc. of the 15th Int. Conf. on Computer Aided Verification (CAV'03), volume 2725 of LNCS, pages 110-113. Springer-Verlag, 2003.
-
[2] E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
-
[3] P. Dembiński, A. Janowska, P. Janowski, W. Penczek, A. Półrola, M. Szreter, B. Woźna, and A. Zbrzezny. VerICS: A tool for verifying timed automata and Estelle specifications. In Proc. of the 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), volume 2619 of LNCS, pages 278-283. Springer-Verlag, 2003.