Skip to main navigation Skip to search Skip to main content

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 2005 - Gazipur, Bangladesh
    Duration: 28 Dec 200530 Dec 2005
    Conference number: 8th

    Conference

    ConferenceInternational Conference on Computer and Information Technology 2005
    Abbreviated titleICCIT 2005
    Country/TerritoryBangladesh
    CityGazipur
    Period28/12/0530/12/05

    Cite this