MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Leszek Holenderski" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 15 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • System Level Verification at Philips  
  • by Leszek Holenderski — 2001
  • …Introduction System Level Verification at Philips Leszek Holenderski Philips Research, Eindhoven…
  • Add To MetaCart
  • On the Combination of Synchronous Languages  
  • by Axel Poigne, Leszek Holenderski — 1997 — Workshop on Compositionality: The Significant Difference, volume 1536 of LNCS
  • …On the Combination of Synchronous Languages # Axel Poigne, Leszek Holenderski GMD-SET, Schloss…
  • Cited by 7 (1 self) – Add To MetaCart
  • The Multi-Paradigm Synchronous Programming Language  
  • by Leszek Holenderski, Axel Poigne — 1998 — Formal Techniques for Hardware and Hardware-like Systems (FTH'98), Marstrand, 1998 , Draft Paper: ftp://set.gmd.de/pub/vers/papers/LEA.ps.gz
  • …The Multi-Paradigm Synchronous Programming Language LEA # Leszek Holenderski, Axel Poigne GMD…
  • Cited by 2 (1 self) – Add To MetaCart
  • Model Checking SDL with Spin  
  • by Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova — 2000
  • …Model Checking SDL with Spin Dragan Bosnacki 1 , Dennis Dams 2 , Leszek Holenderski 1…
  • Cited by 9 (0 self) – Add To MetaCart
  • Symmetric Spin  
  • by Dragan Bosnacki, Dennis Dams, Leszek Holenderski — 2000 — In International Journal on Software Tools for Technology Transfer
  • …Symmetric Spin ? Dragan Bosnacki 1 , Dennis Dams 2 , and Leszek Holenderski 1 1 Dept. of Computing…
  • Cited by 25 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB