Title of article
Approximately satisfied properties of systems and simple language homomorphisms
Author/Authors
Ulrich Nitsche، نويسنده , , Peter Ochsenschl?ger، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1996
Pages
6
From page
201
To page
206
Keywords
Verification , Liveness , Abstraction , Simple homomorphisms , w-languages , Cantor topology , formal languages , safety , Approximate satisfaction
Journal title
Information Processing Letters
Serial Year
1996
Journal title
Information Processing Letters
Record number
128587
Link To Document