Biblio

Search

Show only items where

Author

Type

Term

Year

Keyword

CAPTCHA

This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.

What code is in the image? *

Enter the characters shown in the image.

Export 1 results:

Filters: Author is Huq, A. [Clear All Filters]

2007

A. Huq and Ramachandran, N. T., “VDM specification of an algorithm for graph decomposition”, Journal of Digital Information Management, vol. 5, no. 6, pp. 347 - 353, 2007.

Collaborative Partner

Institute of Electronic and Information Technology (IEIT)

Collaborative Partner

Collaborative Partner

High Education Forum, Taiwan