MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Izak van Langevelde" – 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
  • Towards automated verification of Splice in muCRL  
  • by P.F.G. Dechering, I. A. Van Langevelde, Paul Dechering, Izak Van Langevelde — 2000
  • … Signaalapparaten B.V. P.O. Box 42, 7550 GD Hengelo, The Netherlands Izak van Langevelde email: izak@(email omitted); CWI P…
  • Add To MetaCart
  • Verifying a Smart Design of TCAP  
  • by Thomas Arts, I.A. van Langevelde, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Izak Van Langevelde — 1999
  • …@(email omitted); Computer Science Laboratory, Ericsson Utvecklings AB PO Box 1505, 125 25 Stockholm, Sweden Izak van…
  • 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
  • … Groote 2 , Izak van Langevelde 1 , Bert Lisser 1 , and Jaco van de Pol 1 1 CWI, Department of Software…
  • Cited by 27 (13 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB