Searching for authors named "Allan Cheng" – sorted by Relevance.
-
Petri Nets, Traces, and Local Model Checking
- Petri Nets, Traces, and Local Model Checking Allan Cheng BRICS y Computer Science Department
- Cited by 7 (0 self) – Add To MetaCart
-
Complexity Results for Model Checking
- BRICS Basic Research in Computer Science Complexity Results for Model Checking Allan Cheng BRICS
- Cited by 6 (0 self) – Add To MetaCart
-
Open Maps (at) Work
- Maps (at) Work Allan Cheng Mogens Nielsen BRICS Report Series RS-95-23 ISSN 0909-0878 April 1995
- Cited by 10 (3 self) – Add To MetaCart
-
Some Notes on Rational Spaces
- Some Notes on Rational Spaces Allan Cheng # and Dexter Kozen Computer Science Department Cornell
- Cited by 1 (0 self) – Add To MetaCart
-
A Complete Gentzen-Style Axiomatization for Set Constraints
- A Complete Gentzen-Style Axiomatization for Set Constraints Allan Cheng y and Dexter Kozen
- Cited by 5 (1 self) – Add To MetaCart
-
Open Maps, Behavioural Equivalences, and Congruences
- ftp.brics.dk (cd pub/BRICS) Open Maps, Behavioural Equivalences, and Congruences ? Allan Cheng
- Add To MetaCart
-
Complexity Results for 1-safe Nets
- Complexity Results for 1-safe Nets Allan Cheng Computer Science Department, Aarhus University Ny
- Cited by 32 (7 self) – Add To MetaCart
-
Model Checking Coloured Petri Nets Exploiting Strongly Connected Components
- Model Checking Coloured Petri Nets Exploiting Strongly Connected Components Allan Cheng and S
- Cited by 15 (2 self) – Add To MetaCart

