Researchgate: Ivana Cerna
Brno, Czech Republic, Czech Republic
Program Committee
onlinepresent.org
Ecole des Mines de Nantes, France. Zbigniew Huzar. Wroclaw University of Technology Poland. Ivana Cerna. Masaryk University Czech Republic. Radu Dobrin.
Distributed breadth-first search LTL model checking
dl.acm.org
Ivana Černá, Faculty of Informatics, MU Brno, Brno, Czech Republic Lubos Brim , Ivana Cerna , Pavel Krcál , Radek Pelánek, Distributed LTL Model ...
Preface
www.swt-bamberg.de
Ivana Cerna, Co-chair (Masaryk University, Czech Republic) ... Ivana Cerná and Gerald Lüttgen. This paper is electronically published in ...
From sescobar at dsic.upv.es Sun Jan 2 07:51: From ...
mail.haskell.org
... The increased complexity of Web sites and the explosive growth of Web-based ... PROGRAMME COMITTEE (provisional) o Ivana Cerna, Masaryk University Brno, Czech Republic ...
Google Groups: Tools Day'02 - Final Call for Papers
: Ivana Cerna .cz muc lists concurrency FINAL CALL FOR PAPERS Special event TOOLS DAY affiliated with CONCUR Brno, Czech Republic, ...
Google Groups: CfP Tools Day
: Ivana Cerna .cz muc lists concurrency Special event TOOLS DAY Brno, Czech Republic, 24 August affiliated with CONCUR
Google Groups: PDMC'02 - Preliminary Call for Papers
: ... Denmark), o Rajeev Ranjan (Real Intent, USA) WORKSHOP ORGANIZERS: o Lubos Brim (MU Brno, Czech Republic) o Ivana Cerna (MU Brno, Czech Republic)
Google Groups: [Caml-list] MTCoord'05: First call for papers
: ... Czech Republic o Isabelle Linden, University of Namur, Belgium PROGRAMME COMITTEE (provisional) o Ivana Cerna, Masaryk University Brno, Czech Republic o ...
All web results to the name "Ivana Cerna"
Ivana Cerna - Google Scholar
scholar.google.cz
Ivana Cerna. Masaryk University, Brno, Czech Republic. Verified email at fi.muni.cz - Homepage. Formal verification and synthesis. Articles Cited by Public access Co-authors. Title. Sort. Sort by citations Sort by year Sort by title. Cited by. Cited by. Year; DiVinE – A Tool for Distributed Verification. J Barnat, L Brim, I Černá, P Moravec, P Ročkai, P Šimeček . International ...
Ivana Cerna
www.procyclingstats.com
Ivana Cerna is a road racing cyclist from Czech Republic, active between and Her best results are , and .
Ivana Cerna - Company information from BvD’s Orbis Directory
orbisdirectory.bvdinfo.com
Ivana Cerna. Mark as favourite. Send feeback. Price: EUR. EUR ; USD ; GBP ; BvD9ID: Free preview; Summary report ; Standardised financials ; Full business report ; Active: Entrepreneur : Chocerady, Czech Republic: Other services : Very Small company : Most recent accounts Accounts published in CZK . n/a shareholders. n/a subsidiaries. n/a directors. …
Ivana Cerna - Citas de Google Académico
scholar.google.cl
Seguir nuevos artículos. Seguir nuevas citas. Crear alerta. Cancelar. Ivana Cerna. Masaryk University, Brno, Czech Republic. Formal verification and synthesis.
Ivana Cerna - Google विद्वान उद्धरण
scholar.google.co.in
ईमेल. नए लेखों का अनुसरण करें. नए उद्धरणों का अनुसरण करें. अलर्ट बनाएं रहने दें. Ivana Cerna. Masaryk University, Brno, Czech Republic.
Ivana Cerna - Παραθέσεις Μελετητή Google
scholar.google.gr
Ivana Cerna. Masaryk University, Brno, Czech Republic. Formal verification and synthesis. Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ...
Czech Republic Exhibition - Roster - #18 - Ivana Cerna - D
stats.hockeycanada.ca
Czech Republic. Exhibition x. Seasons, Exhibition · Home · Roster · Game Schedule · Player Stats · Team Stats · Standings · Photos · Videos · Posts · Exhibition. Stats Toggle: Aneta Terjalova. No photo neutral · D. Katerina Flachsova. No photo neutral · D. Petra Herzigova. No photo ...
FESCA Workshops: Call for Papers - FESCA 2010
fesca.ipd.kit.edu
Ivana Cerna (Masaryk University, Czech Republic) Kenneth Chan (King's College London, UK) Martin Fraenzle (University of Oldenburg, Germany) ...
SPIN 2003
spinroot.com
19 Apr Ivana Cerna, Faculty of Informatics, Masaryk Universtiy, Brno, Czech Republic Radek Pelanek, Faculty of Informatics, Masaryk Universtiy, ...
[PVS] FESCA @ ETAPS nd CfP
pvs.csl.sri.com
INVITED SPEAKER Ivana Cerna (Masaryk University, Czech Republic) Title: Formal Verification of Component Interactions - Motivation, Methods & Challenges ...
Comp.compilers: MTCoord'05: First call for papers (Belgium, Apr 05)
compilers.iecc.com
From comp.compilers newsgroup: MTCoord'05: First call for papers (Belgium, Apr 05) ... o Ivana Cerna, Masaryk University Brno, Czech Republic. o Giorgio Delzanno, University of ...
Related search requests for Ivana Cerna
| Ľuboš Masaryk Antonie Bucharova |
Person "Cerna" (1) Forename "Ivana" (8097) Name "Cerna" (1721) |
sorted by relevance / date