Model Checking of Non-Finite State Processes by Finite Approximations

Model Checking of Non-Finite State Processes by Finite Approximations. Francesco, N. D., Fantechi, A., Gnesi, S., & Inverardi, P. In Brinksma, E., Cleaveland, R., Larsen, K. G., Margaria, T., & Steffen, B., editors, Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings, volume 1019, of Lecture Notes in Computer Science, pages 195–215, 1995. Springer.

Paper doi bibtex

@inproceedings{DBLP:conf/tacas/FrancescoFGI95,
    author = "Francesco, Nicoletta De and Fantechi, Alessandro and Gnesi, Stefania and Inverardi, Paola",
    editor = "Brinksma, Ed and Cleaveland, Rance and Larsen, Kim Guldstrand and Margaria, Tiziana and Steffen, Bernhard",
    title = "Model Checking of Non-Finite State Processes by Finite Approximations",
    booktitle = "Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, {TACAS} '95, Aarhus, Denmark, May 19-20, 1995, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "1019",
    pages = "195--215",
    publisher = "Springer",
    year = "1995",
    url = "https://doi.org/10.1007/3-540-60630-0\\_10",
    doi = "10.1007/3-540-60630-0\\_10",
    timestamp = "Tue, 14 May 2019 10:00:53 +0200",
    biburl = "https://dblp.org/rec/conf/tacas/FrancescoFGI95.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

Downloads: 0

{"_id":"9Yy4JybEL3BQYaXGk","bibbaseid":"francesco-fantechi-gnesi-inverardi-modelcheckingofnonfinitestateprocessesbyfiniteapproximations-1995","author_short":["Francesco, N. D.","Fantechi, A.","Gnesi, S.","Inverardi, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Francesco"],"firstnames":["Nicoletta","De"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]},{"propositions":[],"lastnames":["Inverardi"],"firstnames":["Paola"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Brinksma"],"firstnames":["Ed"],"suffixes":[]},{"propositions":[],"lastnames":["Cleaveland"],"firstnames":["Rance"],"suffixes":[]},{"propositions":[],"lastnames":["Larsen"],"firstnames":["Kim","Guldstrand"],"suffixes":[]},{"propositions":[],"lastnames":["Margaria"],"firstnames":["Tiziana"],"suffixes":[]},{"propositions":[],"lastnames":["Steffen"],"firstnames":["Bernhard"],"suffixes":[]}],"title":"Model Checking of Non-Finite State Processes by Finite Approximations","booktitle":"Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings","series":"Lecture Notes in Computer Science","volume":"1019","pages":"195–215","publisher":"Springer","year":"1995","url":"https://doi.org/10.1007/3-540-60630-0\\\\_10","doi":"10.1007/3-540-60630-0\\_10","timestamp":"Tue, 14 May 2019 10:00:53 +0200","biburl":"https://dblp.org/rec/conf/tacas/FrancescoFGI95.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tacas/FrancescoFGI95,\n author = \"Francesco, Nicoletta De and Fantechi, Alessandro and Gnesi, Stefania and Inverardi, Paola\",\n editor = \"Brinksma, Ed and Cleaveland, Rance and Larsen, Kim Guldstrand and Margaria, Tiziana and Steffen, Bernhard\",\n title = \"Model Checking of Non-Finite State Processes by Finite Approximations\",\n booktitle = \"Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, {TACAS} '95, Aarhus, Denmark, May 19-20, 1995, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"1019\",\n pages = \"195--215\",\n publisher = \"Springer\",\n year = \"1995\",\n url = \"https://doi.org/10.1007/3-540-60630-0\\\\_10\",\n doi = \"10.1007/3-540-60630-0\\\\_10\",\n timestamp = \"Tue, 14 May 2019 10:00:53 +0200\",\n biburl = \"https://dblp.org/rec/conf/tacas/FrancescoFGI95.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Francesco, N. D.","Fantechi, A.","Gnesi, S.","Inverardi, P."],"editor_short":["Brinksma, E.","Cleaveland, R.","Larsen, K. G.","Margaria, T.","Steffen, B."],"key":"DBLP:conf/tacas/FrancescoFGI95","id":"DBLP:conf/tacas/FrancescoFGI95","bibbaseid":"francesco-fantechi-gnesi-inverardi-modelcheckingofnonfinitestateprocessesbyfiniteapproximations-1995","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-60630-0\\\\_10"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["model","checking","non","finite","state","processes","finite","approximations","francesco","fantechi","gnesi","inverardi"],"title":"Model Checking of Non-Finite State Processes by Finite Approximations","year":1995}