Deakin University
Browse

File(s) not publicly available

A two-sorted logic for structurally modeling systems

Version 2 2024-06-13, 14:54
Version 1 2022-10-24, 04:04
journal contribution
posted on 2024-06-13, 14:54 authored by HT Goranson, B Cardier
A two-sorted logic for structurally modeling systems

History

Journal

Progress in Biophysics and Molecular Biology

Volume

113

Pagination

141-178

Location

England

ISSN

0079-6107

eISSN

1873-1732

Language

English

Publication classification

CN.1 Other journal article

Issue

1

Publisher

PERGAMON-ELSEVIER SCIENCE LTD