-
1सम्मेलन की कार्यवाही पुस्तकप्रकाशित 1985“…IFIP WG 10.2 International Conference on Computer Hardware Description Languages…”
-
2सम्मेलन की कार्यवाही पुस्तकप्रकाशित 1983“…IFIP WG 10.2 International Symposium on Computer Hardware Description Languages…”
-
3सम्मेलन की कार्यवाही पुस्तकप्रकाशित 1981“…IFIP WG 10.2…”
-
4सम्मेलन की कार्यवाही पुस्तकप्रकाशित 1990“…IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design…”
-
5सम्मेलन की कार्यवाही पुस्तकप्रकाशित 1990“…IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design…”