Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record series/faia/RogusS05
@incollection{DBLP:series/faia/RogusS05, author = {Grzegorz Rogus and Tomasz Szmuc}, editor = {Krzysztof Zielinski and Tomasz Szmuc}, title = {Modeling and Verification of Reactive Software Using {LOTOS}}, booktitle = {Software Engineering: Evolution and Emerging Technologies}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {130}, pages = {365--377}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1175}, timestamp = {Tue, 13 Mar 2012 16:08:32 +0100}, biburl = {https://dblp.org/rec/series/faia/RogusS05.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.