{ "best_oa_location": null, "data_standard": 2, "doi": "10.1007/10692867_12", "doi_url": "https://doi.org/10.1007/10692867_12", "genre": "book-chapter", "is_oa": false, "journal_is_in_doaj": false, "journal_is_oa": false, "journal_issns": "0302-9743,1611-3349", "journal_name": "Lecture Notes in Computer Science", "oa_locations": [], "published_date": "1998-01-01", "publisher": "Springer Berlin Heidelberg", "title": "Formal Models and Prototyping", "updated": "2018-04-11T22:29:50.508851", "x_reported_noncompliant_copies": [], "year": 1998, "z_authors": [ { "family": "Luqi" } ] }