| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 3 |      | Marek 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 | ||
| 2 | | Anatoli N. Chebotarev, Marina K. Morokhovets: Resolution-Based Approach to Computability Analysis of Interacting Automata. Theor. Comput. Sci. 194(1-2): 183-205 (1998) |
| 1993 | ||
| 1 | | Anatoli N. Chebotarev, Marina K. Morokhobets: Consistency Checking of Automata Functional Specifications. LPAR 1993: 76-85 |
| 1 | Alan Mishchenko | [3] |
| 2 | Marina K. Morokhobets | [1] |
| 3 | Marina K. Morokhovets | [2] |
| 4 | Marek A. Perkowski | [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page