|
|
| |
Specification and verification of multi-agent systems/
Publication:
New York : Springer, 2010
. xvii, 405 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Model checking software : , 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
Publication:
Berlin : Springer, 2010
. x, 261 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 676 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
by Yoeli, Michael,
Publication:
Hoboken, N.J. : Wiley-Interscience, 2008
. xv, 231 p. :
25 cm.
Date:2008
Availability:
Copies available:
AUM Main Library
(1),
|
|
