-
1Konferenční příspěvek KnihaVydáno 1985“…IFIP WG 10.2 International Conference on Computer Hardware Description Languages…”
-
2Konferenční příspěvek KnihaVydáno 1983“…IFIP WG 10.2 International Symposium on Computer Hardware Description Languages…”
-
3Konferenční příspěvek KnihaVydáno 1981“…IFIP WG 10.2…”
-
4Konferenční příspěvek KnihaVydáno 1990“…IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design…”
-
5Konferenční příspěvek KnihaVydáno 1990“…IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design…”