default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gonzalo León
@article{DBLP:journals/access/LeonTF20,
author = {Gonzalo Le{\'{o}}n and
Alberto Tejero and
Jos{\'{e}} N. Franco{-}Riquelme},
title = {New Methodology for Profiling and Comparison of Open Innovation Models
to Conduct R{\&}D Activities},
journal = {{IEEE} Access},
volume = {8},
pages = {48491--48502},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.2978933},
doi = {10.1109/ACCESS.2020.2978933},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/LeonTF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LeonTFKC19,
author = {Gonzalo Le{\'{o}}n and
Alberto Tejero and
Jos{\'{e}} N. Franco{-}Riquelme and
John J. Kline and
Raquel E. Campos{-}Macha},
title = {Proximity Metrics for Selecting R{\&}D Partners in International
Open Innovation Processes},
journal = {{IEEE} Access},
volume = {7},
pages = {79737--79757},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2923094},
doi = {10.1109/ACCESS.2019.2923094},
timestamp = {Wed, 21 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/LeonTFKC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/TejeroPL19,
author = {Alberto Tejero and
Iv{\'{a}}n Pau and
Gonzalo Le{\'{o}}n},
title = {Analysis of the Dynamism in University-Driven Innovation Ecosystems
Through the Assessment of Entrepreneurship Role},
journal = {{IEEE} Access},
volume = {7},
pages = {89869--89885},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2926988},
doi = {10.1109/ACCESS.2019.2926988},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/TejeroPL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/Sanchez-CartasL18,
author = {Juan Manuel Sanchez{-}Cartas and
Gonzalo Le{\'{o}}n},
editor = {Javier Bajo and
Juan M. Corchado and
Elena Maria Navarro Mart{\'{\i}}nez and
Eneko Osaba Icedo and
Philippe Mathieu and
Patrycja Hoffa{-}Dabrowska and
Elena del Val and
Sylvain Giroux and
Ant{\'{o}}nio J. M. Castro and
Nayat S{\'{a}}nchez{-}Pi and
Vicente Juli{\'{a}}n and
Ricardo Azambuja Silveira and
Alberto Fern{\'{a}}ndez and
Rainer Unland and
Rub{\'{e}}n Fuentes{-}Fern{\'{a}}ndez},
title = {On "Influencers" and Their Impact on the Diffusion of Digital
Platforms},
booktitle = {Highlights of Practical Applications of Agents, Multi-Agent Systems,
and Complexity: The {PAAMS} Collection - International Workshops of
{PAAMS} 2018, Toledo, Spain, June 20-22, 2018, Proceedings},
series = {Communications in Computer and Information Science},
volume = {887},
pages = {210--222},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94779-2\_19},
doi = {10.1007/978-3-319-94779-2\_19},
timestamp = {Wed, 24 Jul 2024 21:43:30 +0200},
biburl = {https://dblp.org/rec/conf/paams/Sanchez-CartasL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/Sanchez-CartasL17,
author = {Juan Manuel Sanchez{-}Cartas and
Gonzalo Le{\'{o}}n},
editor = {Javier Bajo and
Zita A. Vale and
Kasper Hallenborg and
Ana Paula Rocha and
Philippe Mathieu and
Pawel Pawlewski and
Elena del Val and
Paulo Novais and
Fernando Lopes and
N{\'{e}}stor D. Duque{-}M{\'{e}}ndez and
Vicente Juli{\'{a}}n and
Johan Holmgren},
title = {On Simulating the Adoption of New Products in Markets with Rational
Users and Companies},
booktitle = {Highlights of Practical Applications of Cyber-Physical Multi-Agent
Systems - International Workshops of {PAAMS} 2017, Porto, Portugal,
June 21-23, 2017, Proceedings},
series = {Communications in Computer and Information Science},
volume = {722},
pages = {83--94},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60285-1\_7},
doi = {10.1007/978-3-319-60285-1\_7},
timestamp = {Sat, 19 Oct 2019 20:08:02 +0200},
biburl = {https://dblp.org/rec/conf/paams/Sanchez-CartasL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/www/2009,
editor = {Juan Quemada and
Gonzalo Le{\'{o}}n and
Yo{\"{e}}lle S. Maarek and
Wolfgang Nejdl},
title = {Proceedings of the 18th International Conference on World Wide Web,
{WWW} 2009, Madrid, Spain, April 20-24, 2009},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-487-4},
timestamp = {Tue, 05 May 2009 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/DelgadoRL08,
author = {Jos{\'{e}} Luis Delgado and
Covadonga Rodrigo and
Gonzalo Le{\'{o}}n},
editor = {Carol Peters and
Thomas Deselaers and
Nicola Ferro and
Julio Gonzalo and
Gareth J. F. Jones and
Mikko Kurimo and
Thomas Mandl and
Anselmo Pe{\~{n}}as and
Vivien Petras},
title = {Experiments in Calibration and Validation for Medical Content-Based
Images Retrieval},
booktitle = {Evaluating Systems for Multilingual and Multimodal Information Access,
9th Workshop of the Cross-Language Evaluation Forum, {CLEF} 2008,
Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5706},
pages = {724--727},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04447-2\_92},
doi = {10.1007/978-3-642-04447-2\_92},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clef/DelgadoRL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/LeonDRLS08,
author = {Gonzalo Le{\'{o}}n and
Jos{\'{e}} Luis Delgado and
Covadonga Rodrigo and
Fernando L{\'{o}}pez{-}Ostenero and
Valent{\'{\i}}n Sama},
editor = {Carol Peters and
Nicola Ferro},
title = {Automatic System for Extraction of Content-Based Characteristics from
Digital Images},
booktitle = {Working Notes for {CLEF} 2008 Workshop co-located with the 12th European
Conference on Digital Libraries {(ECDL} 2008) , Aarhus, Denmark, September
17-19, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {1174},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-1174/CLEF2008wn-ImageCLEF-LeonEt2008.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:42 +0100},
biburl = {https://dblp.org/rec/conf/clef/LeonDRLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip8-6/2008,
editor = {Gonzalo Le{\'{o}}n and
Ana M. Bernardos and
Jos{\'{e}} R. Casar and
Karlheinz Kautz and
Janice I. DeGross},
title = {Open IT-Based Innovation: Moving Towards Cooperative {IT} Transfer
and Knowledge Diffusion, {IFIP} {TC8} {WG} 8.6 International Working
Conference, October 22-24, 2008, Madrid, Spain},
series = {{IFIP}},
volume = {287},
publisher = {Springer},
year = {2008},
isbn = {978-0-387-87502-6},
timestamp = {Thu, 11 Dec 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip8-6/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8-6/Leon07,
author = {Gonzalo Le{\'{o}}n},
editor = {Tom McMaster and
David Wastell and
Elaine Ferneley and
Janice I. DeGross},
title = {Cooperative Models for Information Technology Transfer in the Context
of Open Innovation},
booktitle = {Organizational Dynamics of Technology-Based Innovation: Diversifying
the Research Agenda - {IFIP} {TC} 8 {WG} 8.6 International Working
Conference, June 14-16, Manchester, {UK}},
series = {{IFIP}},
volume = {235},
pages = {43--61},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-72804-9\_5},
doi = {10.1007/978-0-387-72804-9\_5},
timestamp = {Wed, 14 Nov 2018 10:52:38 +0100},
biburl = {https://dblp.org/rec/conf/ifip8-6/Leon07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8-6/KautzZSWLS05,
author = {Karlheinz Kautz and
Robert W. Zmud and
Gonzalo Le{\'{o}}n Serrano and
Eleanor Wynn and
Tor J. Larsen and
E. Burton Swanson},
editor = {Richard L. Baskerville and
Lars Mathiassen and
Jan Pries{-}Heje and
Janice I. DeGross},
title = {Looking Back and Looking Forward: Diffusion and Adoption of Information
Technology Research in {IFIP} {WG} 8.6 - Achievements and Future Challenges},
booktitle = {Business Agility and Information Technology Diffusion - {IFIP} {TC8}
{WG} 8.6 International Working Conference May 8-11, 2005, Atlanta,
Georgia, {USA}},
series = {{IFIP}},
volume = {180},
pages = {369--370},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/0-387-25590-7\_23},
doi = {10.1007/0-387-25590-7\_23},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip8-6/KautzZSWLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-4/DuenasL98,
author = {Juan C. Due{\~{n}}as and
Gonzalo Le{\'{o}}n},
editor = {R. Nigel Horspool},
title = {An introduction to evolution of large systems based on Software Architecture},
booktitle = {Systems Implementation 2000, {IFIP} {TC2} {WG2.4} Working Conference
on Systems Implementation 2000: Languages, methods and tools, 23-26
February 1998, Berlin, Germany},
series = {{IFIP} Conference Proceedings},
volume = {117},
pages = {128--139},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Tue, 19 Jun 2018 07:59:20 +0200},
biburl = {https://dblp.org/rec/conf/ifip2-4/DuenasL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AlonsoLDP97,
author = {Alejandro Alonso and
Gonzalo Le{\'{o}}n and
Juan C. Due{\~{n}}as and
Juan Antonio de la Puente},
title = {Framework for documenting design decisions in product families development},
booktitle = {3rd {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '97), 8-12 September 1997, Lake Como, Italy},
pages = {206--211},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICECCS.1997.622312},
doi = {10.1109/ICECCS.1997.622312},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/AlonsoLDP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/Pries-HejeBKOS96,
author = {Jan Pries{-}Heje and
Richard L. Baskerville and
Karlheinz Kautz and
Ramon O'Callaghan and
Gonzalo Le{\'{o}}n Serrano},
editor = {J. Dias Coelho and
Tawfik Jelassi and
Wolfgang K{\"{o}}nig and
Helmut Krcmar and
Ramon O'Callaghan and
Markku S{\"{a}}{\"{a}}ksj{\"{a}}rvi},
title = {Panel: How to model and manage {IT} diffusion?},
booktitle = {Proceedings of the Fourth European Conference on Information Systems,
{ECIS} 1996, Lisbon, Portugal, 1996},
pages = {1351--1352},
year = {1996},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecis/Pries-HejeBKOS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/LopezS95,
author = {Juan Carlos Due{\~{n}}as L{\'{o}}pez and
Gonzalo Le{\'{o}}n Serrano},
title = {Simulation of real time scheduling at design levels},
booktitle = {7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense,
Denmark, March 14-16, 1995},
pages = {140--146},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/EMWRTS.1995.514304},
doi = {10.1109/EMWRTS.1995.514304},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/LopezS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosim/DuenasLRM95,
author = {Juan C. Due{\~{n}}as and
Gonzalo Le{\'{o}}n and
Alvaro Rend{\'{o}}n and
Miguel A. de Miguel},
editor = {Felix Breitenecker and
Irmgard Husinsky},
title = {Heterogeneous Simulation for Real-Time Systems},
booktitle = {EUROSIM'96, Simulation Congress, Proceedings of the 1995 {EUROSIM}
Conference, Vienna, Austria, 11-15 September 1995},
pages = {619--624},
publisher = {Elsevier},
year = {1995},
timestamp = {Fri, 28 Mar 2003 10:59:11 +0100},
biburl = {https://dblp.org/rec/conf/eurosim/DuenasLRM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RendonDMLPLA95,
author = {Alvaro Rend{\'{o}}n and
Juan C. Due{\~{n}}as and
Miguel A. de Miguel and
Jyrki Leskela and
Juan Antonio de la Puente and
Gonzalo Le{\'{o}}n and
Alejandro Alonso},
title = {Animation of heterogeneous prototypes of real-time systems},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {47--54},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479302},
doi = {10.1109/ICECCS.1995.479302},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/RendonDMLPLA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LeonDPZA93,
author = {Gonzalo Le{\'{o}}n and
Juan C. Due{\~{n}}as and
Juan Antonio de la Puente and
Nabil Zakhama and
Alejandro Alonso},
title = {The {IPTES} Environment: Support for Incremental Heterogeneous and
Distributed Prototyping},
journal = {Real Time Syst.},
volume = {5},
number = {2-3},
pages = {153--171},
year = {1993},
url = {https://doi.org/10.1007/BF01088586},
doi = {10.1007/BF01088586},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/LeonDPZA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/PuenteALD93,
author = {Juan Antonio de la Puente and
Alejandro Alonso and
Gonzalo Le{\'{o}}n and
Juan C. Due{\~{n}}as},
title = {Distributed Execution of Specifications},
journal = {Real Time Syst.},
volume = {5},
number = {2-3},
pages = {213--234},
year = {1993},
url = {https://doi.org/10.1007/BF01088589},
doi = {10.1007/BF01088589},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/PuenteALD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeonYSCG93,
author = {Gonzalo Le{\'{o}}n and
Juan C. Yelmo and
Carlos S{\'{a}}nchez and
F. Javier Carrasco and
Juan J. Gil},
editor = {Jim Woodcock and
Peter Gorm Larsen},
title = {An Industrial Experience on LOTOS-Based Prototyping for Switching
Systems Design},
booktitle = {{FME} '93: Industrial-Strength Formal Methods, First International
Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {670},
pages = {83--92},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0024640},
doi = {10.1007/BFB0024640},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LeonYSCG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LeonCMYGSC93,
author = {Gonzalo Le{\'{o}}n and
J. Carracedo and
J. C. Moreno and
Juan C. Yelmo and
Juan J. Gil and
Carlos S{\'{a}}nchez and
F. Javier Carrasco},
editor = {Richard L. Tenney and
Paul D. Amer and
M. {\"{U}}mit Uyar},
title = {An Industrial Experience on Development with {LOTOS} and {SDL}},
booktitle = {Formal Description Techniques, VI, Proceedings of the {IFIP} {TC6/WG6.1}
Sixth International Conference on Formal Description Techniques -
{FORTE} '93, Boston, MA, USA, 26-29 October 1993},
series = {{IFIP} Transactions},
volume = {{C-22}},
pages = {219--234},
publisher = {North-Holland},
year = {1993},
timestamp = {Mon, 28 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/LeonCMYGSC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8/LeonCYSMGC93,
author = {Gonzalo Le{\'{o}}n and
J. Carracedo and
Juan C. Yelmo and
Carlos S{\'{a}}nchez and
J. C. Moreno and
Juan J. Gil and
J. Carrasco},
editor = {Linda Levine},
title = {An Industrial Experience of Using an Incremental Model of Technology
Transfer of Formal Development Methods},
booktitle = {Diffusion, Transfer and Implementation of Information Technology,
Proceedings of the {IFIP} {TC8} Working Conference on Diffusion, Transfer
and Implementation of Information Technology, Pittsburgh, PA, USA,
11-13 October 1993},
series = {{IFIP} Transactions},
volume = {{A-45}},
pages = {289--308},
publisher = {Elsevier},
year = {1993},
timestamp = {Mon, 28 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip8/LeonCYSMGC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/AllendeS92,
author = {Jes{\'{u}}s S{\'{a}}nchez Allende and
Gonzalo Le{\'{o}}n Serrano},
title = {{PTD:} Architectural system description support based on visual specification
languages},
journal = {Microprocess. Microprogramming},
volume = {35},
number = {1-5},
pages = {513--520},
year = {1992},
url = {https://doi.org/10.1016/0165-6074(92)90362-B},
doi = {10.1016/0165-6074(92)90362-B},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/AllendeS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/LeonDPA92,
author = {Gonzalo Le{\'{o}}n and
Juan C. Due{\~{n}}as and
Juan Antonio de la Puente and
Alejandro Alonso},
title = {Real time object communication protocol for incremental and distributed
prototyping},
booktitle = {Fourth Euromicro workshop on Real-Time Systems, {RTS} 1992, Athens,
Greece, June 3-5, 1992, Proceedings},
pages = {79--84},
publisher = {{IEEE}},
year = {1992},
url = {https://doi.org/10.1109/EMWRT.1992.637475},
doi = {10.1109/EMWRT.1992.637475},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/LeonDPA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/FernandezSD91,
author = {Miguel Angel Ruz Fern{\'{a}}ndez and
Gonzalo Le{\'{o}}n Serrano and
Mar{\'{\i}}a Victoria Elbal D{\'{\i}}az},
title = {An integrated framework for the design of distributed programming
environments},
journal = {Microprocessing and Microprogramming},
volume = {32},
number = {1-5},
pages = {401--409},
year = {1991},
url = {https://doi.org/10.1016/0165-6074(91)90377-6},
doi = {10.1016/0165-6074(91)90377-6},
timestamp = {Wed, 17 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/FernandezSD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Leon90,
author = {Gonzalo Le{\'{o}}n},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {On the Technology Transfer of Formal Methods: An Experience on {LOTOS}},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {471--486},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Leon90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LeonKGRRSN89,
author = {Gonzalo Le{\'{o}}n and
Carlos Delgado Kloos and
G. Gonz{\'{a}}lez and
M. A. Ruz and
Saturnino Marchena Rodriguez and
L. Santos and
J. Navarro},
editor = {Son T. Vuong},
title = {{ASDE:} Design of a Transformational Environment for {LOTOS}},
booktitle = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
Second International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
BC, Canada, 5-8 December, 1989},
pages = {501--515},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/LeonKGRRSN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RodriguezL88,
author = {Saturnino Marchena Rodriguez and
Gonzalo Le{\'{o}}n},
editor = {Kenneth J. Turner},
title = {Transformation from {LOTOS} Specifications to Galileo Nets},
booktitle = {Formal Description Techniques, Proceedings of the First International
Conference on Formal Description Techniques, Stirling, Scotland, UK,
6-9 September, 1988},
pages = {217--230},
publisher = {North-Holland},
year = {1988},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/RodriguezL88.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.
last updated on 2024-04-24 23:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
