Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/fac/fac26.bht:"
@article{DBLP:journals/fac/AvallePS14, author = {Matteo Avalle and Alfredo Pironti and Riccardo Sisto}, title = {Formal verification of security protocol implementations: a survey}, journal = {Formal Aspects Comput.}, volume = {26}, number = {1}, pages = {99--123}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0269-9}, doi = {10.1007/S00165-012-0269-9}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/AvallePS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BanachZSH14, author = {Richard Banach and Huibiao Zhu and Wen Su and Runlei Huang}, title = {Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {319--366}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0263-2}, doi = {10.1007/S00165-012-0263-2}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BanachZSH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BanksJ14, author = {Michael J. Banks and Jeremy L. Jacob}, title = {On integrating confidentiality and functionality in a formal method}, journal = {Formal Aspects Comput.}, volume = {26}, number = {5}, pages = {963--992}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0285-4}, doi = {10.1007/S00165-013-0285-4}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BanksJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Bella14, author = {Giampaolo Bella}, title = {Inductive study of confidentiality: for everyone}, journal = {Formal Aspects Comput.}, volume = {26}, number = {1}, pages = {3--36}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0246-3}, doi = {10.1007/S00165-012-0246-3}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Bella14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Boiten14, author = {Eerke A. Boiten}, title = {Introducing extra operations in refinement}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {305--317}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0266-z}, doi = {10.1007/S00165-012-0266-Z}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Boiten14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BoitenDR14, author = {Eerke A. Boiten and John Derrick and Steve Reeves}, title = {Editorial}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {195}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0293-z}, doi = {10.1007/S00165-014-0293-Z}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BoitenDR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BoitenS14, author = {Eerke A. Boiten and Steve A. Schneider}, title = {Editorial}, journal = {Formal Aspects Comput.}, volume = {26}, number = {1}, pages = {1--2}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0290-7}, doi = {10.1007/S00165-013-0290-7}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BoitenS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BostromDSW14, author = {Pontus Bostr{\"{o}}m and Fredrik Degerlund and Kaisa Sere and Marina Wald{\'{e}}n}, title = {Derivation of concurrent programs by stepwise scheduling of Event-B models}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {281--303}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0260-5}, doi = {10.1007/S00165-012-0260-5}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BostromDSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BrookesOR14, author = {Stephen Brookes and Peter W. O'Hearn and Uday S. Reddy}, title = {The Essence of Reynolds}, journal = {Formal Aspects Comput.}, volume = {26}, number = {3}, pages = {435--439}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0295-x}, doi = {10.1007/S00165-014-0295-X}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BrookesOR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/CalderS14, author = {Muffy Calder and Michele Sevegnani}, title = {Modelling {IEEE} 802.11 {CSMA/CA} {RTS/CTS} with stochastic bigraphs with sharing}, journal = {Formal Aspects Comput.}, volume = {26}, number = {3}, pages = {537--561}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0270-3}, doi = {10.1007/S00165-012-0270-3}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/CalderS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/CavalcantiKOW14, author = {Ana Cavalcanti and Steve King and Colin O'Halloran and Jim Woodcock}, title = {Test-data generation for control coverage by proof}, journal = {Formal Aspects Comput.}, volume = {26}, number = {4}, pages = {795--823}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0279-2}, doi = {10.1007/S00165-013-0279-2}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fac/CavalcantiKOW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/ChatterjeeR14, author = {Krishnendu Chatterjee and Vishwanath Raman}, title = {Assume-guarantee synthesis for digital contract signing}, journal = {Formal Aspects Comput.}, volume = {26}, number = {4}, pages = {825--859}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0283-6}, doi = {10.1007/S00165-013-0283-6}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/ChatterjeeR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Colvin14, author = {Robert Colvin}, title = {An operational semantics for object-oriented concepts based on the class hierarchy}, journal = {Formal Aspects Comput.}, volume = {26}, number = {3}, pages = {491--535}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0259-y}, doi = {10.1007/S00165-012-0259-Y}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Colvin14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Cruz-FilipeLMRV14, author = {Lu{\'{\i}}s Cruz{-}Filipe and Ivan Lanese and Francisco Martins and Ant{\'{o}}nio Ravara and Vasco Thudichum Vasconcelos}, title = {The stream-based service-centred calculus: a foundation for service-oriented programming}, journal = {Formal Aspects Comput.}, volume = {26}, number = {5}, pages = {865--918}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0284-5}, doi = {10.1007/S00165-013-0284-5}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Cruz-FilipeLMRV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DamianiDJS14, author = {Ferruccio Damiani and Johan Dovland and Einar Broch Johnsen and Ina Schaefer}, title = {Verifying traits: an incremental proof system for fine-grained reuse}, journal = {Formal Aspects Comput.}, volume = {26}, number = {4}, pages = {761--793}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0278-3}, doi = {10.1007/S00165-013-0278-3}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DamianiDJS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DaumBK14, author = {Matthias Daum and Nelson Billing and Gerwin Klein}, title = {Concerned with the unprivileged: user programs in kernel refinement}, journal = {Formal Aspects Comput.}, volume = {26}, number = {6}, pages = {1205--1229}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0296-9}, doi = {10.1007/S00165-014-0296-9}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DaumBK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DerrickB14, author = {John Derrick and Eerke A. Boiten}, title = {Relational concurrent refinement part {III:} traces, partial relations and automata}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {407--432}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0262-3}, doi = {10.1007/S00165-012-0262-3}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DerrickB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DixitRD14, author = {Manoj G. Dixit and S. Ramesh and Pallab Dasgupta}, title = {Time-budgeting: a component based development methodology for real-time embedded systems}, journal = {Formal Aspects Comput.}, volume = {26}, number = {3}, pages = {591--621}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0273-0}, doi = {10.1007/S00165-012-0273-0}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DixitRD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DongLSZ14, author = {Jin Song Dong and Yang Liu and Jun Sun and Xian Zhang}, title = {Towards verification of computation orchestration}, journal = {Formal Aspects Comput.}, volume = {26}, number = {4}, pages = {729--759}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0280-9}, doi = {10.1007/S00165-013-0280-9}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DongLSZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DongolHR14, author = {Brijesh Dongol and Ian J. Hayes and Peter J. Robinson}, title = {Reasoning about goal-directed real-time teleo-reactive programs}, journal = {Formal Aspects Comput.}, volume = {26}, number = {3}, pages = {563--589}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0272-1}, doi = {10.1007/S00165-012-0272-1}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DongolHR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/FrappierGLM14, author = {Marc Frappier and Fr{\'{e}}d{\'{e}}ric Gervais and R{\'{e}}gine Laleau and J{\'{e}}r{\'{e}}my Milhau}, title = {Refinement patterns for ASTDs}, journal = {Formal Aspects Comput.}, volume = {26}, number = {5}, pages = {919--941}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0286-3}, doi = {10.1007/S00165-013-0286-3}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/FrappierGLM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/GunicenITY14, author = {Canan G{\"{u}}ni{\c{c}}en and Kemal Inan and Uraz Cengiz T{\"{u}}rker and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n}, title = {The relation between preset distinguishing sequences and synchronizing sequences}, journal = {Formal Aspects Comput.}, volume = {26}, number = {6}, pages = {1153--1167}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0297-8}, doi = {10.1007/S00165-014-0297-8}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/GunicenITY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/HeatherST14, author = {James Heather and Steve A. Schneider and Vanessa Teague}, title = {Cryptographic protocols with everyday objects}, journal = {Formal Aspects Comput.}, volume = {26}, number = {1}, pages = {37--62}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0274-7}, doi = {10.1007/S00165-013-0274-7}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/HeatherST14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/HoangMMMSS14, author = {Thai Son Hoang and A. K. McIver and Larissa Meinicke and Carroll C. Morgan and Anthony Sloane and E. Susatyo}, title = {Abstractions of non-interference security: probabilistic versus possibilistic}, journal = {Formal Aspects Comput.}, volume = {26}, number = {1}, pages = {169--194}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0237-4}, doi = {10.1007/S00165-012-0237-4}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/HoangMMMSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Jones14, author = {Cliff B. Jones}, title = {Editorial}, journal = {Formal Aspects Comput.}, volume = {26}, number = {3}, pages = {433}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0298-7}, doi = {10.1007/S00165-014-0298-7}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Jones14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Jones14a, author = {Cliff B. Jones}, title = {Editorial}, journal = {Formal Aspects Comput.}, volume = {26}, number = {5}, pages = {861}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0314-y}, doi = {10.1007/S00165-014-0314-Y}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Jones14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/KonurFDK14, author = {Savas Konur and Michael Fisher and Simon Dobson and Stephen Knox}, title = {Formal verification of a pervasive messaging system}, journal = {Formal Aspects Comput.}, volume = {26}, number = {4}, pages = {677--694}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0277-4}, doi = {10.1007/S00165-013-0277-4}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/KonurFDK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/LiuYS14, author = {Xi Liu and Shaofa Yang and Jeff W. Sanders}, title = {Compensation by design}, journal = {Formal Aspects Comput.}, volume = {26}, number = {4}, pages = {623--676}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0275-6}, doi = {10.1007/S00165-013-0275-6}, timestamp = {Mon, 16 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/LiuYS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/LlanoIP14, author = {Maria Teresa Llano and Andrew Ireland and Alison Pease}, title = {Discovery of invariants through automated theory formation}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {203--249}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0264-1}, doi = {10.1007/S00165-012-0264-1}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/LlanoIP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/MiyazawaC14, author = {Alvaro Miyazawa and Ana Cavalcanti}, title = {Refinement-based verification of implementations of Stateflow charts}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {367--405}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0291-6}, doi = {10.1007/S00165-013-0291-6}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/MiyazawaC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/MoranHS14, author = {Murat Moran and James Heather and Steve A. Schneider}, title = {Verifying anonymity in voting systems using {CSP}}, journal = {Formal Aspects Comput.}, volume = {26}, number = {1}, pages = {63--98}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0268-x}, doi = {10.1007/S00165-012-0268-X}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/MoranHS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/NogueiraSM14, author = {Sidney C. Nogueira and Augusto Sampaio and Alexandre Mota}, title = {Test generation from state based use case models}, journal = {Formal Aspects Comput.}, volume = {26}, number = {3}, pages = {441--490}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0258-z}, doi = {10.1007/S00165-012-0258-Z}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/NogueiraSM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/PetreTW14, author = {Luigia Petre and Elena Troubitsyna and Marina Wald{\'{e}}n}, title = {Kaisa Sere: In Memoriam}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {197--201}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0292-5}, doi = {10.1007/S00165-013-0292-5}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/PetreTW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/PirontiS14, author = {Alfredo Pironti and Riccardo Sisto}, title = {Safe abstractions of data encodings in formal security protocol models}, journal = {Formal Aspects Comput.}, volume = {26}, number = {1}, pages = {125--167}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0267-y}, doi = {10.1007/S00165-012-0267-Y}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/PirontiS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/RiccobeneS14, author = {Elvinia Riccobene and Patrizia Scandurra}, title = {A formal framework for service modeling and prototyping}, journal = {Formal Aspects Comput.}, volume = {26}, number = {6}, pages = {1077--1113}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0289-0}, doi = {10.1007/S00165-013-0289-0}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/RiccobeneS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/RossiniLGRW14, author = {Alessandro Rossini and Juan de Lara and Esther Guerra and Adrian Rutle and Uwe Wolter}, title = {A formalisation of deep metamodelling}, journal = {Formal Aspects Comput.}, volume = {26}, number = {6}, pages = {1115--1152}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0307-x}, doi = {10.1007/S00165-014-0307-X}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/RossiniLGRW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/RuksenasCBB14, author = {Rimvydas Ruksenas and Paul Curzon and Ann Blandford and Jonathan Back}, title = {Combining human error verification and timing analysis: a case study on an infusion pump}, journal = {Formal Aspects Comput.}, volume = {26}, number = {5}, pages = {1033--1076}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0288-1}, doi = {10.1007/S00165-013-0288-1}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/RuksenasCBB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Sampath14, author = {Prahladavaradan Sampath}, title = {An elementary theory of product-line variations}, journal = {Formal Aspects Comput.}, volume = {26}, number = {4}, pages = {695--727}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0276-5}, doi = {10.1007/S00165-013-0276-5}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Sampath14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/SchneiderTW14, author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim}, title = {The behavioural semantics of Event-B refinement}, journal = {Formal Aspects Comput.}, volume = {26}, number = {2}, pages = {251--280}, year = {2014}, url = {https://doi.org/10.1007/s00165-012-0265-0}, doi = {10.1007/S00165-012-0265-0}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/SchneiderTW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/SuGB14, author = {Li Su and Rodolfo G{\'{o}}mez and Howard Bowman}, title = {Analysing neurobiological models using communicating automata}, journal = {Formal Aspects Comput.}, volume = {26}, number = {6}, pages = {1169--1204}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0294-y}, doi = {10.1007/S00165-014-0294-Y}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/SuGB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Tarlecki14, author = {Andrzej Tarlecki}, title = {W{\l}adys{\l}aw Marek Turski {(1938-2013)}}, journal = {Formal Aspects Comput.}, volume = {26}, number = {5}, pages = {863--864}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0312-0}, doi = {10.1007/S00165-014-0312-0}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Tarlecki14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/WardZ14, author = {Martin P. Ward and Hussein Zedan}, title = {Provably correct derivation of algorithms using FermaT}, journal = {Formal Aspects Comput.}, volume = {26}, number = {5}, pages = {993--1031}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0287-2}, doi = {10.1007/S00165-013-0287-2}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/WardZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/WuS14, author = {Nicolas Wu and Andrew C. Simpson}, title = {Formal relational database design: an exercise in extending the formal template language}, journal = {Formal Aspects Comput.}, volume = {26}, number = {6}, pages = {1231--1269}, year = {2014}, url = {https://doi.org/10.1007/s00165-014-0299-6}, doi = {10.1007/S00165-014-0299-6}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/WuS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/YamagataKFTO014, author = {Yoriyuki Yamagata and Weiqiang Kong and Akira Fukuda and Nguyen Van Tang and Hitoshi Ohsaki and Kenji Taguchi}, title = {A formal semantics of extended hierarchical state transition matrices using CSP{\#}}, journal = {Formal Aspects Comput.}, volume = {26}, number = {5}, pages = {943--962}, year = {2014}, url = {https://doi.org/10.1007/s00165-013-0282-7}, doi = {10.1007/S00165-013-0282-7}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/YamagataKFTO014.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.