Inproceedings,
Using the Base Semantics given by fUML for Verification.
A. Romero, K. Schneider, and M. Ferreira.MODELSWARD, page 5-16. SciTePress, (2014)
Meta data
- BibTeX key
- conf/modelsward/RomeroSF14
- entry type
- inproceedings
- booktitle
- MODELSWARD
- year
- 2014
- pages
- 5-16
- publisher
- SciTePress
- crossref
- conf/modelsward/2014
- ee
- https://ieeexplore.ieee.org/document/7018444/
- isbn
- 978-989-758-007-9
- url
- http://dblp.uni-trier.de/db/conf/modelsward/modelsward2014.html#RomeroSF14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/modelsward/RomeroSF14
%A Romero, Alessandro Gerlinger
%A Schneider, Klaus
%A Ferreira, Maurício Gonçalves Vieira
%B MODELSWARD
%D 2014
%E Pires, Luís Ferreira
%E Hammoudi, Slimane
%E Filipe, Joaquim
%E das Neves, Rui César
%I SciTePress
%K dblp
%P 5-16
%T Using the Base Semantics given by fUML for Verification.
%U http://dblp.uni-trier.de/db/conf/modelsward/modelsward2014.html#RomeroSF14
%@ 978-989-758-007-9
@inproceedings{conf/modelsward/RomeroSF14,
added-at = {2021-08-11T00:00:00.000+0200},
author = {Romero, Alessandro Gerlinger and Schneider, Klaus and Ferreira, Maurício Gonçalves Vieira},
biburl = {https://www.bibsonomy.org/bibtex/2d95edcf7942fcb7872ca69d289d581fb/dblp},
booktitle = {MODELSWARD},
crossref = {conf/modelsward/2014},
editor = {Pires, Luís Ferreira and Hammoudi, Slimane and Filipe, Joaquim and das Neves, Rui César},
ee = {https://ieeexplore.ieee.org/document/7018444/},
interhash = {59bdb0bab54dd377d751b5a66ba8824d},
intrahash = {d95edcf7942fcb7872ca69d289d581fb},
isbn = {978-989-758-007-9},
keywords = {dblp},
pages = {5-16},
publisher = {SciTePress},
timestamp = {2024-04-10T08:31:11.000+0200},
title = {Using the Base Semantics given by fUML for Verification.},
url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2014.html#RomeroSF14},
year = 2014
}