Jan Hajek (scientist) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Jan Hajek (scientist)" in English language version.

refsWebsite

Global rank English rank

5,720^th place

4,702^nd place

3^rd place

low place

2^nd place

5^th place

books.google.com

Kalauzová, Sonia (2008). "Czech Inventions". The New Presence (1). Přítomnost: 52–55. Retrieved 24 October 2016.

Edelkamp, Stefan; Leue, Stefan; Visser, Willem (2007). "Directed Model Checking - 06172 Abstracts Collection". Dagstuhl Seminar Proceedings. Dagstuhl Seminar Proceedings (DagSemProc). 6172. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany: 4. doi:10.4230/DagSemProc.06172.1. ISSN 1862-4405 – via DROPS. Approver is probably the first tool for automated verification of communication protocols. It was written by Jan Hajek in the end of the 70's at the Eindhoven University of Technology.

Edelkamp, Stefan; Leue, Stefan; Visser, Willem (2007). "Directed Model Checking - 06172 Abstracts Collection". Dagstuhl Seminar Proceedings. Dagstuhl Seminar Proceedings (DagSemProc). 6172. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany: 4. doi:10.4230/DagSemProc.06172.1. ISSN 1862-4405 – via DROPS. Approver is probably the first tool for automated verification of communication protocols. It was written by Jan Hajek in the end of the 70's at the Eindhoven University of Technology.

Edelkamp, Stefan; Leue, Stefan; Visser, Willem (2007). "Directed Model Checking - 06172 Abstracts Collection". Dagstuhl Seminar Proceedings. Dagstuhl Seminar Proceedings (DagSemProc). 6172. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany: 4. doi:10.4230/DagSemProc.06172.1. ISSN 1862-4405 – via DROPS. Approver is probably the first tool for automated verification of communication protocols. It was written by Jan Hajek in the end of the 70's at the Eindhoven University of Technology.