Search Radboud Repository
Advanced Search
Browse
Faculties & Departments
Issue Date
Author
Title
Communities & Collections
Sign on to:
My DSpace
authorized users
Terms of use
Notice and Takedown
DSpace at RU
>
Browsing by Author Pettersson, P.
Jump to a point in the index:
(Choose year)
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1985
1980
1975
1970
1960
1950
(Choose month)
January
February
March
April
May
June
July
August
September
October
November
December
Or type in a year:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
50
100
150
200
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 2 of 2
Full Text
Issue Date
Title
Author(s)
2006
Uppaal 4.0
Behrmann, G.
;
David, A.
;
Larsen, K.G.
;
Håkansson, J.
;
Pettersson, P.
, et al
2005
Model Checking the Time to Reach Agreement
Hendriks, M.
;
Pettersson, P.
;
Yi, W.
Showing results 1 to 2 of 2
DSpace Software
Copyright © 2002-2011
Duraspace
-
Feedback
