Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
SEKE
/
Paper
Deriving Temporal Logic Specifications from Predicate Transition Petri Net.
Xudong He
,
John A. N. Lee
Venue
C
SEKE
Year
1989
Proceedings
SEKE
DBLP record
conf/seke/HeL89 ↗
Browse the full
SEKE paper archive
.