Development of software tool for safety checking by generating coverability tree using Petri nets

Md Tamjidul Hoque, Mohammad Towhidul Hoque

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of 8th International Conference on Computer and Information Technology
    EditorsAbdul Mottalib
    Place of PublicationGazipur Bangladesh
    PublisherIslamic University of Technology (IUT)
    Pages1004 - 1009
    Number of pages6
    ISBN (Print)9843228731
    Publication statusPublished - 2005
    EventInternational Conference on Computer and Information Technology - Dhaka Bangladesh, Gazipur Bangladesh
    Duration: 1 Jan 2005 → …

    Conference

    ConferenceInternational Conference on Computer and Information Technology
    CityGazipur Bangladesh
    Period1/01/05 → …

    Cite this