Title of article :
On the antisymmetry of Galois embeddings
Author/Authors :
J. Burghardt، نويسنده , , F. Kammüller، نويسنده , , J. W. Sanders، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2001
Pages :
7
From page :
57
To page :
63
Keywords :
Specification languages , formal methods , Refinement techniques
Journal title :
Information Processing Letters
Serial Year :
2001
Journal title :
Information Processing Letters
Record number :
129352
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129352
بازگشت