I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Starting with termination : a methodology for building d..:

, In: Proceedings of the 24th Australasian conference on Computer science,
Blackburn, Stephen M. ; Hudson, Richard L. ; Morrison, Ron... - p. 20-28 , 2001
Link: https://dl.acm.org/doi/10.5555/545564.545567