Search

Your search keyword '"Wang, Fuzhi"' showing total 2 results

Search Constraints

Start Over You searched for: Author "Wang, Fuzhi" Remove constraint Author: "Wang, Fuzhi" Publication Type eBooks Remove constraint Publication Type: eBooks
2 results on '"Wang, Fuzhi"'

Search Results

1. An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata

2. Symbolic Model Checking for Probabilistic Timed Automata

Catalog

Books, media, physical & digital resources