{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:31Z","timestamp":1725664831440},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_60","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:10:35Z","timestamp":1330276235000},"page":"475-478","source":"Crossref","is-referenced-by-count":0,"title":["EVGC: A tool for visualizing LOTOS behavioural specifications"],"prefix":"10.1007","author":[{"given":"Mario","family":"Marrero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alvaro","family":"Su\u00e1rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T. Brinksma, E., Introduction to the ISO specification language LOTOS. Conputer Networks ISDN systems, 14 (1987), pp. 25\u201359.","journal-title":"Conputer Networks ISDN systems"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Bolognesi T. Najm E. and Tolanus P. G-LOTOS: A graphical language for concurrent systems, Lotosphere: Software Develop. with LOTOS, Klummer Academic Publisher, ISBN 0-7923-9528-8, p.p. 391\u2013437, 1995.","DOI":"10.1007\/978-1-4615-2203-4_20"},{"key":"30_CR3","unstructured":"S\u00e1nchez Allende, J. Graphical Lotos Designer. GLD-V2.1b, Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos, Universidad Polit\u00e9cnica de Madrid, Oct. 1994."},{"key":"30_CR4","unstructured":"Turner Kenneth J. Using Formal Description Techniques. An introduction to Estelle, LOTOS ans SDL. Wiley Publishers 1993."},{"key":"30_CR5","unstructured":"Marrero Ruiz, M. Compilador de LOTOS para la generacion de grafos de comportamiento. Master Thesis, EUITT-ULPGC, 1996."},{"key":"30_CR6","unstructured":"Su\u00e1rez Alvaro, Marrero Mario, Visualizaci\u00f3n de la ejecuci\u00f3n de programas en una CPU segmentada. I jornadas de Inform\u00e1tica. Puerto de La Cruz, Tenerife, pp. 455\u2013464, 1995."},{"key":"30_CR7","unstructured":"Hwang, Kai. Advanced Computer Architecture: Parallelism, Scalability, programability. McGraw Hill, 1993."},{"key":"30_CR8","unstructured":"XView and XLib Reference Manuals. O'Reilly & Associates, Inc."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:09Z","timestamp":1605629349000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}