Max Planck Institute for Software Systems-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2015

  1. Analysis of asynchronous programs with event-based synchronization

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9032, pp. 535-559