Skip to main navigation
Skip to search
Skip to main content
AIT Austrian Institute of Technology Home
Help & FAQ
Link opens in a new tab
Deutsch
English
Search content at AIT Austrian Institute of Technology
Home
Profiles
Research units
Research output
Datasets
Prizes
Activities
Hypernode automata
Ezio Bartocci
, Marek Chalupa
, Thomas A. Henzinger
,
Dejan Nickovic
, Ana Oliveira da Costa
TU Wien
Institute of Science and Technology Austria
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Hypernode automata'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Automaton
100%
Execution Trace
33%
Model Checking Problem
16%
Concurrent System
16%
Variable Value
16%