N. Frances

Publication Activity (10 Years)

Years Active: 1981-1981
Publications (10 Years): 0

Publications

N. Frances, Michael Rodeh, Michel Sintzoff
Distributed Termination with Interval Assertions. ICFPC (1981)