Formal Methods and Tools

Research output

Research output per year 1987 2005 2006 2008 2009 2010 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023

• 720 Conference contribution
• 309 Article
• 164 Report
• 94 Chapter
• 245 More
  • 78 Paper
  • 59 PhD Thesis - Research UT, graduation UT
  • 29 Book editing
  • 13 Working paper
  • 9 Conference article
  • 8 Editorial
  • 7 Book
  • 7 Abstract
  • 5 Foreword/postscript
  • 5 Preprint
  • 4 Digital or Visual Products
  • 3 Inaugural speech
  • 3 Poster
  • 3 Meeting Abstract
  • 3 Web publication/site
  • 3 PhD Thesis - Research external, graduation UT
  • 3 EngD Thesis
  • 2 PhD Thesis - Research UT, graduation external
  • 1 Comment/Letter to the editor

Research output per year

Research output per year

Search results

• 2002

  Probabilistic Process Algebra

  Andova, S., 26 Nov 2002, Eindhoven: Eindhoven University of Technology.

  Research output: Thesis › PhD Thesis - Research UT, graduation external

  Open Access

  File
  66 Downloads (Pure)
• 1999

  Analysing Industrial Protocols with Formal Methods

  Romijn, J. M. T. & Romijn, J. M. T., 15 Oct 1999, Enschede: University of Twente. 190 p.

  Research output: Thesis › PhD Thesis - Research UT, graduation external

  Open Access

  File
  191 Downloads (Pure)