Treffer: Distributed Model Checking on Graphs of Bounded Treedepth
Title:
Distributed Model Checking on Graphs of Bounded Treedepth
Authors:
Fomin, Fedor V.Aff1, IDs00453025013491_cor1, Fraigniaud, Pierre, Montealegre, PedroAff3, IDs00453025013491_cor2, Rapaport, Ivan, Todinca, Ioan
Source:
Algorithmica. 88(1)
Database:
Springer Nature Journals