1
Published 2008
Table of Contents: ... Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental...
View full text
Electronic eBook