Michael Westergaard's Homepage » ASAP http://westergaard.eu Tue, 07 Feb 2012 16:27:49 +0000 en hourly 1 LTL Model-checking in ASAP http://westergaard.eu/2010/04/ltl-model-checking-in-asap/?utm_source=rss&utm_medium=rss&utm_campaign=ltl-model-checking-in-asap http://westergaard.eu/2010/04/ltl-model-checking-in-asap/#comments Mon, 05 Apr 2010 21:44:13 +0000 Michael http://westergaard.eu/?p=1294
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2010/04/ltl-model-checking-in-asap/feed/ 6 Name Scheming http://westergaard.eu/2010/02/name-scheming/?utm_source=rss&utm_medium=rss&utm_campaign=name-scheming http://westergaard.eu/2010/02/name-scheming/#comments Mon, 22 Feb 2010 14:27:00 +0000 Michael http://westergaard.eu/?p=1083
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2010/02/name-scheming/feed/ 0 Lecture on State Spaces in the CPN Course http://westergaard.eu/2010/02/lecture-on-state-spaces-in-the-cpn-course/?utm_source=rss&utm_medium=rss&utm_campaign=lecture-on-state-spaces-in-the-cpn-course http://westergaard.eu/2010/02/lecture-on-state-spaces-in-the-cpn-course/#comments Sun, 21 Feb 2010 14:10:11 +0000 Michael http://westergaard.eu/?p=1075
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2010/02/lecture-on-state-spaces-in-the-cpn-course/feed/ 1 Math and Tools for Running Experiments http://westergaard.eu/2010/01/running-experiments/?utm_source=rss&utm_medium=rss&utm_campaign=running-experiments http://westergaard.eu/2010/01/running-experiments/#comments Fri, 15 Jan 2010 01:51:59 +0000 Michael http://westergaard.eu/?p=970
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2010/01/running-experiments/feed/ 0 More Videos http://westergaard.eu/2009/10/more-videos/?utm_source=rss&utm_medium=rss&utm_campaign=more-videos http://westergaard.eu/2009/10/more-videos/#comments Tue, 06 Oct 2009 20:59:47 +0000 Michael http://blog.westergaard.eu/?p=139
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2009/10/more-videos/feed/ 0 More Slide-making… http://westergaard.eu/2009/10/more-slide-making/?utm_source=rss&utm_medium=rss&utm_campaign=more-slide-making http://westergaard.eu/2009/10/more-slide-making/#comments Tue, 06 Oct 2009 13:44:31 +0000 Michael http://blog.westergaard.eu/?p=135
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2009/10/more-slide-making/feed/ 0 Tutorial on ASAP http://westergaard.eu/2009/10/tutorial-on-asap/?utm_source=rss&utm_medium=rss&utm_campaign=tutorial-on-asap http://westergaard.eu/2009/10/tutorial-on-asap/#comments Mon, 05 Oct 2009 12:22:00 +0000 Michael http://blog.westergaard.eu/?p=114
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2009/10/tutorial-on-asap/feed/ 0