Verification and Synthesis in Description Logic Based Dynamic Systems.

Details

Language :

English

ISBNs :

9783642396656

Database :

Complementary Index

Journal :

Web Reasoning & Rule Systems (9783642396656)

Publication Type :

Book

Accession number :

94126546

Full Text :

https://doi.org/10.1007/978-3-642-39666-3_5