Learning elementary formal systems with queries

By Sakamoto H.   Hirata K.   Arimura H.  

Theoretical Computer Science, Vol. 298, Iss. 1, 2003-04 ,pp. : 21-50

Elsevier

Access to resources Recommend Favorite

Formal systems for gene assembly in ciliates

By Ehrenfeucht A.   Harju T.   Petre I.   Prescott D.M.   Rozenberg G.  

Theoretical Computer Science, Vol. 292, Iss. 1, 2003-01 ,pp. : 199-219

Elsevier

Access to resources Recommend Favorite

Complete formal systems for equivalence problems - Their relevance to formal languages and automata

By Senizergues G.  

Theoretical Computer Science, Vol. 231, Iss. 2, 2000-01 ,pp. : 309-334

Elsevier

Access to resources Recommend Favorite

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey

By Loghi Mirko   Margaria Tiziana   Pravadelli Graziano   Steffen Bernhard  

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 585-611

Springer Publishing Company

Access to resources Recommend Favorite

A formal framework for multi-agent systems analysis and design

By Gruer P.   Hilaire V.   Koukam A.   Cetnarowicz K.  

Expert Systems with Applications, Vol. 23, Iss. 4, 2002-11 ,pp. : 349-355

Elsevier

Access to resources Recommend Favorite