Article,
Inference of Extended Finite State Machines.
M. Foster, A. Brucker, R. Taylor, and J. Derrick.Arch. Formal Proofs, (2020)
Meta data
- BibTeX key
- journals/afp/FosterBTD20
- entry type
- article
- year
- 2020
- journal
- Arch. Formal Proofs
- volume
- 2020
- ee
- https://www.isa-afp.org/entries/Extended_Finite_State_Machine_Inference.html
- url
- http://dblp.uni-trier.de/db/journals/afp/afp2020.html#FosterBTD20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/afp/FosterBTD20
%A Foster, Michael
%A Brucker, Achim D.
%A Taylor, Ramsay G.
%A Derrick, John
%D 2020
%J Arch. Formal Proofs
%K dblp
%T Inference of Extended Finite State Machines.
%U http://dblp.uni-trier.de/db/journals/afp/afp2020.html#FosterBTD20
%V 2020
@article{journals/afp/FosterBTD20,
added-at = {2020-12-10T00:00:00.000+0100},
author = {Foster, Michael and Brucker, Achim D. and Taylor, Ramsay G. and Derrick, John},
biburl = {https://www.bibsonomy.org/bibtex/226726262b093c2ea9f5e3da49acc2552/dblp},
ee = {https://www.isa-afp.org/entries/Extended_Finite_State_Machine_Inference.html},
interhash = {d1e94e39e42a48d5e5b426cac5103f57},
intrahash = {26726262b093c2ea9f5e3da49acc2552},
journal = {Arch. Formal Proofs},
keywords = {dblp},
timestamp = {2024-04-09T04:36:56.000+0200},
title = {Inference of Extended Finite State Machines.},
url = {http://dblp.uni-trier.de/db/journals/afp/afp2020.html#FosterBTD20},
volume = 2020,
year = 2020
}