Searching for authors named "Dilian Gurov" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
A Compositional Proof System for the Modal µ-calculus and CCS
- …A Compositional Proof System for the Modal ��-calculus and CCS. 1 Sergey Berezin Dilian Gurov…
- Add To MetaCart
-
μ-Calculus with Explicit Points and Approximations
- …-Calculus with Explicit Points and Approximations Mads Dam 1 and Dilian Gurov 2 1 Dept…
- Cited by 3 (0 self) – Add To MetaCart
-
Compositional Verification of CCS Processes
- …Compositional Verification of CCS Processes Mads Dam 1 and Dilian Gurov 2 1 Dept…
- Cited by 7 (4 self) – Add To MetaCart
-
A Framework for Formal Reasoning about Open Distributed Systems
- …A Framework for Formal Reasoning about Open Distributed Systems Lars-ake Fredlund and Dilian Gurov…
- Cited by 4 (2 self) – Add To MetaCart
-
A Compositional Proof System for the Modal µ-calculus and CCS
- …A Compositional Proof System for the Modal ��-calculus and CCS. 1 Sergey Berezin Dilian Gurov…
- Add To MetaCart
-
µ-Calculus with Explicit Points and Approximations
- …-Calculus with Explicit Points and Approximations Mads Dam 1 and Dilian Gurov 2 1 Dept…
- Add To MetaCart
-
Compositional Specification and Verification for System-on-chip Design
- … Introduction DILIAN GUROV, AXEL JANTSCH, MADS DAM We propose a joint project between the Electronic System…
- Add To MetaCart
-
The EVT Erlang Verification Tool
- …--ake Fredlund 2 , and Dilian Gurov 2 1 Department of Teleinformatics, Royal Institute of Technology (KTH…
- Add To MetaCart
-
Formal Methods Research at SICS and KTH: An Overview
- …,fred}@(email omitted); Dilian Gurov 2 LECS/IMIT , Royal Institute of Technology (KTH) KTH Electrum 229, SE–164 40 Kista, Sweden…
- Add To MetaCart
-
Compositional Verification for Secure Loading of Smart Card Applets
- … Federal Institute of Technology, Zurich, Switzerland christoph.sprenger@(email omitted); Dilian Gurov Royal…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
