Sciweavers

204

BANFF
1995

147views Distributed And Parallel Com...» more BANFF 1995»

An Automata-Theoretic Approach to Linear Temporal Logic

15 years 7 months ago

The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program speciﬁcation, veriﬁcation, and synthesis. Both programs ...

Moshe Y. Vardi

claim paper

Read More »

102

click to vote

BANFF
1995

122views Distributed And Parallel Com...» more BANFF 1995»

Modal and Temporal Logics for Processes

15 years 7 months ago

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

124

Voted

BANFF
1995

112views Distributed And Parallel Com...» more BANFF 1995»

Specification Structures and Propositions-as-Types for Concurrency

15 years 7 months ago

Download www.dcs.gla.ac.uk

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

112

click to vote

ATS
1995
IEEE

91views Hardware» more ATS 1995»

Deterministic test generation for non-classical faults on the gate level

15 years 7 months ago

Download www.tet.uni-hannover.de

Udo Mahlstedt, Jürgen Alt, Ingo Hollenbeck

claim paper

Read More »

122

Voted

SIGCSE
2000
ACM

125views Education» more SIGCSE 2000»

Strategies for encouraging individual achievement in introductory computer science courses

15 years 7 months ago

Download www-cs-faculty.stanford.edu

Eric Roberts

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers