MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Allan Cheng" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • Petri Nets, Traces, and Local Model Checking  
  • by Allan Cheng — 1995 — Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science 936, SpringerVerlag
  • …Petri Nets, Traces, and Local Model Checking Allan Cheng BRICS y Computer Science Department…
  • Cited by 7 (0 self) – Add To MetaCart
  • Open Maps (at) Work  
  • by Allan Cheng, Allan Cheng, Mogens Nielsen, Mogens Nielsen — 1995 — Department of Computer Science, University of Aarhus
  • … 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
  • Open Maps, Behavioural Equivalences, and Congruences  
  • by Behavioural Equivalences, Congruences, Allan Cheng, Allan Cheng, Mogens Nielsen, Mogens Nielsen — 1996
  • … ftp.brics.dk (cd pub/BRICS) Open Maps, Behavioural Equivalences, and Congruences ? Allan Cheng…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB