skip to main
|
skip to sidebar
Martin Sulzmann's Blog
Saturday, 12 April 2008
Martin Sulzmann has a blog
This blog is mainly about my professional activaties in computer science. Check out my youtube account for what I'm up to in my spare time.
No comments:
Post a Comment
Newer Post
Home
Subscribe to:
Post Comments (Atom)
Labels
actor
boosting
communicating FA
concurrency
constraint handling rules
control
coordination
dsl
erlang
formal methods
guards
haskell
join
join pattern
library
linear temporal logic
model-checking
multi-set rewrite rules
parallelism
partial derivatives
partial evaluation
proofs are programs
regular expressions
software transactional memory
types
uppaal
Blog Archive
►
2013
(1)
►
January
(1)
►
2012
(4)
►
September
(1)
►
July
(1)
►
June
(2)
►
2011
(1)
►
October
(1)
►
2010
(1)
►
April
(1)
►
2009
(1)
►
November
(1)
▼
2008
(17)
►
December
(5)
►
November
(8)
►
October
(2)
►
May
(1)
▼
April
(1)
Martin Sulzmann has a blog
No comments:
Post a Comment