![Entailment / Logical consequence / Metalogic / Modal logic / Valuation / Logic / Philosophical logic / Deduction Entailment / Logical consequence / Metalogic / Modal logic / Valuation / Logic / Philosophical logic / Deduction](https://www.pdfsearch.io/img/f6a82b6016fdcd329c009c67b74598e0.jpg)
| Document Date: 2009-08-17 09:53:06 Open Document File Size: 187,84 KBShare Result on Facebook
Currency pence / USD / / / Facility Computer Science University of Nottingham Nottingham / / IndustryTerm model-checking algorithm / multi-agent systems / state transition systems / verification tools / / Organization Computer Science University of Nottingham Nottingham / Natasha Alechina Brian Logan Nguyen Hoang Nga Abdur Rakib School / / Person Natasha Alechina Brian Logan Nguyen / / Position rt / / Technology model-checking algorithm / /
SocialTag |