Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record journals/at/LegatMCHFSBV14
@article{DBLP:journals/at/LegatMCHFSBV14, author = {Christoph Legat and Jakob Mund and Alarico Campetelli and Georg Hackenberg and Jens Folmer and Daniel Sch{\"{u}}tz and Manfred Broy and Birgit Vogel{-}Heuser}, title = {Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance}, journal = {Autom.}, volume = {62}, number = {11}, pages = {815--825}, year = {2014}, url = {http://www.degruyter.com/view/j/auto.2014.62.issue-11/auto-2014-1126/auto-2014-1126.xml}, timestamp = {Wed, 22 Jul 2020 22:03:41 +0200}, biburl = {https://dblp.org/rec/journals/at/LegatMCHFSBV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.