Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
A framework for evaluating specification methods for reactive systems
Home
Publications
A framework for evaluating specification methods for reactive systems
A framework for evaluating specification methods for reactive systems
MA
Mark A. Ardis
Mark A. Ardis
JC
John A. Chaves
John A. Chaves
LJ
Lalita Jategaonkar Jagadeesan
Lalita Jategaonkar Jagadeesan
PM
Peter Mataga
Peter Mataga
CP
Carlos Puchol
Carlos Puchol
MS
Mark G. Staskauskas
Mark G. Staskauskas
JO
James Von Olnhausen
James Von Olnhausen
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1995
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
p.
159-168
https://doi.org/10.1145/225014.225029
Abstract
No abstract available
Cited by 5 articles