A verification framework for agent knowledge
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Saved in:
Main Authors: | Dong, J.S., Feng, Y., Leung, H.-F. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40074 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
CELL: A compositional verification framework
by: Ji, K., et al.
Published: (2014) -
CELL: A compositional verification framework
by: JI, Kun, et al.
Published: (2013) -
A verification framework for stateful security protocols
by: LI, Li, et al.
Published: (2017) -
Framework for combining analysis and verification
by: Heintze, N., et al.
Published: (2013) -
Cell : A compositional verification framework
by: JI KUN
Published: (2013)