VIAF

Virtual International Authority File

Search

Casley, Ross Thomas ISNI Library of Congress/NACO

VIAF ID: 56251639 (Personal)

Permalink: //viaf.org/viaf/56251639

ISNI: 0000  0000  4158  3709 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (2)

Open Section Close SectionWorks

Title Sources
On the specification of concurrent systems, 1991: Library of Congress/NACO
A proof editor for propositional temporal logic, 1986: Library of Congress/NACO
Temporal structures, 1989: Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Publication Statistics

Open Section Close Section About

Open Section Close Section History of VIAF ID:56251639 (2)