1
Published 2006
Springer Berlin Heidelberg
... of Software (ETAPS) 2006. The earlier SPIN workshops were held in Montreal, Canada (1995); Rutgers University...

2
by Clarke, Edmund M.
Published 1991
Springer Berlin Heidelberg
... at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more...