Title of article
Reasoning with first order nondeterministic specifications
Author/Authors
Beata Konikowska and Marcin Bia?asik ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
29
From page
375
To page
403
Journal title
acta Informatica
Serial Year
1999
Journal title
acta Informatica
Record number
287671
Link To Document