A compiler for MSVL and its applications (Q1630985)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A compiler for MSVL and its applications |
scientific article; zbMATH DE number 6989357
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A compiler for MSVL and its applications |
scientific article; zbMATH DE number 6989357 |
Statements
A compiler for MSVL and its applications (English)
0 references
5 December 2018
0 references
MSVL
0 references
model checking
0 references
compiler
0 references
verification
0 references
AI planning
0 references
0 references
0.8373374
0 references
0.8289915
0 references
0.8288927
0 references
0.8269062
0 references
