Work

Path-Dependent Reachability Analysis for Multiple Specialization.

Year: 1989

Type: article

Author: William H. Winsborough

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Japan Society for the Promotion of Science

Awards: G3513773374, Functional analysis of genes related to early calcification processes of scleractinian corals, Functional background of mitochondrial genome evolution unraveled from the atp8 gene of Polypedates leucomystax

OpenAlex ID: W36998246

FWCI: 4.359

Cites:

Cited by: 22

Related to: 10