Merkliste 
 1 Ergebnisse 
 
1

Making complex timing relationships readable : Presburge..:

, In: Proceedings of the 35th annual Design Automation Conference,
Amon, Tod ; Borriello, Gaetano ; Liu, Jiwen - p. 586-590 , 1998