Publikationen suchen
Verification of token-scaling models using an under-approximation
(
Teil einer Monographie/eines Konferenzbandes
)