57 results Refine Results
  1. 21
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for components and objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures /
  2. 22
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for components and objects 6th international symposium FMCO 2007, Amsterdam, The Netherlands, October 24 - 26, 2007 : revised lectures /
  3. 23
    Published 2003
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
  4. 24
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
  5. 25
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Formal methods for components and objects third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /
  6. 26
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for computational systems biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures /
  7. 27
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for hardware verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
  8. 28
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures /
  9. 29
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for performance evaluation 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 : advanced lectures /
  10. 30
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings /
  11. 31
    Published 2005
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /
  12. 32
    Published 2010
    Book
    Save to List
    Saved in:
    Formal methods : state of the art and new directions /
  13. 33
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings /
  14. 34
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings /
  15. 35
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal modeling and analysis of timed systems 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
  16. 36
    Published 2004
    Connect to electronic version.
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers /
  17. 37
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal modeling and analysis of timed systems third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings /
  18. 38
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal techniques for networked and distributed systems -- FORTE 2004: 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings /
  19. 39
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal techniques for networked and distributed systems FORTE 2005, 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /
  20. 40
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal techniques for networked and distributed systems, FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings /

Search Tools: