MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Leonid Mikhailov" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

An Approach to Combining B and Alloy
by Leonid Mikhailov, Michael Butler, Leonid Mikhailov, Michael Butler — 2002 — In Proc. of ZB 2002, volume 2272 of LNCS
…Combining B and Alloy Leonid Mikhailov and Michael Butler llm,mjb@(email omitted); Declarative…
Cited by 6 (2 self) – Add To MetaCart

An Approach To Combining B and Alloy
by Leonid Mikhailov And, Leonid Mikhailov, Michael Butler — 2002 — In Proc. of ZB 2002, volume 2272 of LNCS
…An Approach To Combining B and Alloy Leonid Mikhailov and Michael Butler Department of Electronics…
Add To MetaCart

Animation and Model Checking of CSP and B using Prolog Technology
by Michael Leuschel, Laksono Adhianto, Michael Butler, Carla Ferreira, Leonid Mikhailov — 2001 — In Proceedings of VCL’2001
… Adhianto, Michael Butler, Carla Ferreira, and Leonid Mikhailov Department of Electronics and Computer…
Cited by 6 (6 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB