MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Rom Langerak" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Complete Finite Prefix for Process Algebra  
  • by Rom Langerak, Ed Brinksma — 1999 — In Proceeding of 11th International Conference on Computer Aided Verification (CAV’99
  • …A Complete Finite Prefix for Process Algebra Rom Langerak and Ed Brinksma University of Twente…
  • Cited by 6 (1 self) – Add To MetaCart
  • Performance Analysis and True Concurrency Semantics  
  • by Ed Brinksma, Joost-pieter Katoen, Joost-pieter Katoen, Rom Langerak, Rom Langerak, Diego Latella, Diego Latella — 1994 — In T. Rus and C. Rattray, eds, Theories and Experiences for Real-Time System Development
  • … Concurrency Semantics Ed Brinksma, Joost-Pieter Katoen, Rom Langerak Dept. of Computing Science University…
  • Cited by 10 (5 self) – Add To MetaCart
  • Validation of Bosch' Mobile Communication Network  
  • by Architecture With Spin, Theo C. Ruys, Rom Langerak — 1997 — In Proceedings of SPIN97, the Third International Workshop on SPIN, University of Twente
  • …Validation of Bosch' Mobile Communication Network Architecture with Spin Theo C. Ruys and Rom…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB