Deciding safety and liveness in TPTL
Work
Year: 2014
Type: article
Source: Information Processing Letters
Institutions ETH Zurich, NEC (Germany)
Cites: 12
Cited by: 5
Related to: 10
FWCI: 0.285
Citation percentile (by year/subfield): 70.75
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed