MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Maarten Steen" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 165 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Distributed Systems  
  • by Maarten Van Steen
  • …Distributed Systems Chapter 10 Maarten van Steen Vrije Universiteit Amsterdam Faculty of Science…
  • Add To MetaCart
  • Viewpoint consistency in Z and LOTOS: A case study  
  • by Eerke Boiten, Howard Bowman, John Derrick, Maarten Steen — 1997 — In FME'97: Industrial Applications and Strengthened Foundations of Formal Methods
  • … and Maarten Steen Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK. (Email: E…
  • Cited by 12 (3 self)Add To MetaCart
  • FDTs for ODP  
  • by Howard Bowman, John Derrick, Peter Linington, Maarten Steen — 1995 — Computer Standards and Interfaces
  • …FDTs for ODP y Howard Bowman, John Derrick, Peter Linington and Maarten Steen. Computing Laboratory…
  • Cited by 10 (4 self)Add To MetaCart
  • Supporting ODP - Translating LOTOS to Z  
  • by John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen — 1996 — First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems
  • …Supporting ODP - Translating LOTOS to Z John Derrick, Eerke Boiten, Howard Bowman and Maarten Steen
  • Cited by 13 (9 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB