Work

Process algebra for hybrid systems

Year: 2005

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/j.tcs.2004.04.019

Authors: J.A. Bergstra, C.A. Middelburg

Institutions: Utrecht University, University of Amsterdam, Eindhoven University of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: Universiteit Utrecht, Technische Universiteit Eindhoven

OpenAlex ID: W138317454

FWCI: 13.88

Cites: 72

Cited by: 103

Related to: 10