Logics and Models of Concurrent Systems

Krzysztof R. Apt

DOI: 10.1007/978-3-642-82453-1

Springer eBooks

Data up to Jan 2025

Published1985

Citations394

References0

Fields

Computer science

Total Citations Per Year

Abstract

References (0)

No references found

Cited By (0)

Loading...