Composite Propositions: Toward Support for Formal Specification of System Properties
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Actions with Failures in Interval Temporal Logic
Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |