Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Datacite Metadata Store (German National Library Of Science And Technology)

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Mediating for Reduction (on Minimizing Alternating Büchi Automata) ...

Authors : Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukas

Subjects: Alternating Automata; Buchi Automata; Automata Minimization

Read More Add to Saved list

Academic Journal

Coalgebraic Infinite Traces and Kleisli Simulations ...

Authors : Urabe, Natsuki; Hasuo, Ichiro

Read More Add to Saved list

Report

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks ...

Authors : Xiang, Jian; Lanotte, Ruggero; Tini, Simone

Subjects: Systems and Control eess.SY; Cryptography and Security cs.CR; Emerging Technologies cs.ET

Read More Add to Saved list