MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Ed Brinksma" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 28 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
  • Validation in Context  
  • by Lex Heerink, Ed Brinksma — 1995 — Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification
  • …Validation in Context Lex Heerink and Ed Brinksma Tele-Informatics and Open Systems group…
  • Cited by 1 (0 self) – Add To MetaCart
  • Process Algebra and Markov Chains  
  • by Ed Brinksma, Holger Hermanns — FMPA 2000: EuroSummerschool on Formal Methods and Performance Analysis, volume 2090 of Lecture Notes in Computer Science
  • …Process Algebra and Markov Chains Ed Brinksma and Holger Hermanns Formal Methods and Tools Group…
  • Cited by 5 (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
  • …, The Netherlands Performance Analysis and True Concurrency Semantics Ed Brinksma, Joost-Pieter Katoen, Rom…
  • Cited by 10 (5 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB