Verification of a controller for BART: An approach based on Horn logic and denotational semantics (Q2751763)
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: Verification of a controller for BART: An approach based on Horn logic and denotational semantics |
scientific article; zbMATH DE number 1665095
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of a controller for BART: An approach based on Horn logic and denotational semantics |
scientific article; zbMATH DE number 1665095 |
Statements
8 April 2002
0 references
bay area rapid transit system
0 references
Verification of a controller for BART: An approach based on Horn logic and denotational semantics (English)
0 references
