Anatoli N. Chebotarev Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1999
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek A. Perkowski, Alan Mishchenko, Anatoli N. Chebotarev: Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints. Evolvable Hardware 1999: 129-138
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli N. Chebotarev, Marina K. Morokhovets: Resolution-Based Approach to Computability Analysis of Interacting Automata. Theor. Comput. Sci. 194(1-2): 183-205 (1998)
1993
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli N. Chebotarev, Marina K. Morokhobets: Consistency Checking of Automata Functional Specifications. LPAR 1993: 76-85

Coauthor Index

1Alan Mishchenko [3]
2Marina K. Morokhobets [1]
3Marina K. Morokhovets [2]
4Marek A. Perkowski [3]

Colors in the list of coauthors

Copyright © Tue Dec 15 16:03:16 2009 by Michael Ley (ley@uni-trier.de)