MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Stefan Blom" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Cyclic Lambda Calculi  
  • by Zena M. Ariola, Stefan Blom — 1997
  • …Cyclic Lambda Calculi Zena M. Ariola 1 and Stefan Blom 2 1 Department of Computer & Information…
  • Cited by 30 (4 self) – Add To MetaCart
  • Timed verification with µCRL  
  • by Stefan Blom, Natalia Ioustinova, Natalia Sidorova, Stefan Blom, Natalia Ioustinova, Natalia Sidorova — 2003 — 5th Andrei Ershov International Conference on Perspectives of System Informatics PSI’2003, volume 2890 of LNCS
  • … Software Engineering Stefan Blom, Natalia Ioustinova, Natalia Sidorova REPORT SEN-E0312 DECEMBER 8, 2003…
  • Cited by 5 (0 self) – Add To MetaCart
  • On the Axiomatizability of Ready Traces,  
  • by Ready Simulation And, Stefan Blom, Wan Fokkink, Sumit Nain
  • …On the Axiomatizability of Ready Traces, Ready Simulation and Failure Traces Stefan Blom 1 , Wan…
  • Add To MetaCart
  • µCRL: A toolset for analysing algebraic specifications  
  • by Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol — 2001 — Proc. 13th Conference on Computer Aided Verification, LNCS 2102
  • …µCRL: A Toolset for Analysing Algebraic Specifications Stefan Blom 1 , Wan Fokkink 1 , Jan Friso…
  • Cited by 27 (13 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB