Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Author: personID (integer) : 994206
Page :
sorted by
Image document

Termination Analysis for Graph Transformation Systems

 H. Sander Bruggink , Barbara König , Hans Zantema
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.179-194, ⟨10.1007/978-3-662-44602-7_15⟩
Conference papers hal-01402041v1
Image document

Deadlock in Packet Switching Networks

 Anna Stramaglia , Jeroen Keiren , Hans Zantema
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.127-141, ⟨10.1007/978-3-030-89247-0_9⟩
Conference papers hal-04074517v1
Page :