Work

Temporal Logic of Programs

Year: 1987

Type: book

Source: Springer eBooks

DOI: 10.1007/978-3-642-71549-5

Author: Fred Kröger

Institution: Ludwig-Maximilians-Universität München

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4231113774

FWCI: 4.707

Cites:

Cited by: 397

Related to: 10