Checking Amalgamability Conditions for C ASL Architectural Specifications. Klin, B., Hoffman, P., Tarlecki, A., Schröder, L., & Mossakowski, T. In Proceedings of Mathematical Foundations of Computer Science (MFCS), pages 451-463, 2001. Paper bibtex @inproceedings{ dblp4411090,
title = {Checking Amalgamability Conditions for C ASL Architectural Specifications},
author = {Bartek Klin and Piotr Hoffman and Andrzej Tarlecki and Lutz Schröder and Till Mossakowski},
author_short = {Klin, B. and Hoffman, P. and Tarlecki, A. and Schröder, L. and Mossakowski, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2001},
key = {dblp4411090},
id = {dblp4411090},
biburl = {http://www.dblp.org/rec/bibtex/conf/mfcs/KlinHTSM01},
url = {http://dx.doi.org/10.1007/3-540-44683-4_40},
conference = {MFCS},
pages = {451-463},
text = {MFCS 2001:451-463},
booktitle = {Proceedings of Mathematical Foundations of Computer Science (MFCS)}
}
Downloads: 0
{"_id":"oe2TMXTbuS2MhhKp8","bibbaseid":"klin-hoffman-tarlecki-schrder-mossakowski-checkingamalgamabilityconditionsforcaslarchitecturalspecifications-2001","downloads":0,"creationDate":"2016-05-07T17:06:47.469Z","title":"Checking Amalgamability Conditions for C ASL Architectural Specifications","author_short":["Klin, B.","Hoffman, P.","Tarlecki, A.","Schröder, L.","Mossakowski, T."],"year":2001,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/mfcs/KlinHTSM01","bibdata":{"title":"Checking Amalgamability Conditions for C ASL Architectural Specifications","author":["Bartek Klin","Piotr Hoffman","Andrzej Tarlecki","Lutz Schröder","Till Mossakowski"],"author_short":["Klin, B.","Hoffman, P.","Tarlecki, A.","Schröder, L.","Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2001","key":"dblp4411090","id":"dblp4411090","biburl":"http://www.dblp.org/rec/bibtex/conf/mfcs/KlinHTSM01","url":"http://dx.doi.org/10.1007/3-540-44683-4_40","conference":"MFCS","pages":"451-463","text":"MFCS 2001:451-463","booktitle":"Proceedings of Mathematical Foundations of Computer Science (MFCS)","bibtex":"@inproceedings{ dblp4411090,\n title = {Checking Amalgamability Conditions for C ASL Architectural Specifications},\n author = {Bartek Klin and Piotr Hoffman and Andrzej Tarlecki and Lutz Schröder and Till Mossakowski},\n author_short = {Klin, B. and Hoffman, P. and Tarlecki, A. and Schröder, L. and Mossakowski, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2001},\n key = {dblp4411090},\n id = {dblp4411090},\n biburl = {http://www.dblp.org/rec/bibtex/conf/mfcs/KlinHTSM01},\n url = {http://dx.doi.org/10.1007/3-540-44683-4_40},\n conference = {MFCS},\n pages = {451-463},\n text = {MFCS 2001:451-463},\n booktitle = {Proceedings of Mathematical Foundations of Computer Science (MFCS)}\n}","bibbaseid":"klin-hoffman-tarlecki-schrder-mossakowski-checkingamalgamabilityconditionsforcaslarchitecturalspecifications-2001","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-44683-4_40"},"downloads":0},"search_terms":["checking","amalgamability","conditions","asl","architectural","specifications","klin","hoffman","tarlecki","schröder","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["mYSQnbyvjjySrtxEC"]}