مرکز منطقه ای اطلاع رساني علوم و فناوري - Approximately satisfied properties of systems and simple language homomorphisms

Title of article :

Approximately satisfied properties of systems and simple language homomorphisms

Author/Authors :

Ulrich Nitsche، نويسنده , , Peter Ochsenschl?ger، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1996

Pages :

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 :