@BOOK{ Book!D - 101379955,
AUTHOR = "E. Brinksma ... )et al.(, eds",
TITLE = "Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing",
URL = "/book/101379955/Tools-and-algorithms-for-the-construction-and-anal/"}