Abstract Model Checking of Infinite Specifications. Jackson, D. In FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pages 519-531, 1994. bibtex @inproceedings{DBLP:conf/fm/Jackson94,
author = {Daniel Jackson},
title = {Abstract Model Checking of Infinite Specifications},
booktitle = {FME '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October
24-18, 1994, Proceedings},
year = {1994},
pages = {519-531},
}
Downloads: 0
{"_id":{"_str":"534217f8ecd21cdc07000200"},"__v":2,"authorIDs":["3LtDBjykYTfLgDvhe","3rvsRRGBas6kykTji","5456dee58b01c8193000000f","5de9764d768c31df010000f8","5dea12f5b5dcc6df01000008","5debf379188b03df01000026","5ded5835a49d79de01000176","5dede0070e26d5de01000108","5df5fbafa37a40df01000090","5df89f0c10b1d1de010000a0","5df8bd28e6b510df010000d3","5df8f5a9277e45de01000173","5df91cbf2e8c31df010001f8","5dfac0ab5481b4de010000f1","5dfbb985f6f0aede01000102","5e047815db7916df01000046","5e06ef372eda19df0100008f","5e0d0d959ecb35de0100004f","5e0d551aae5827df010000c0","5e139fd60d0b99de01000070","5e161b76f67f7dde010004e4","5e193ee886b4aade01000046","5e1bb30a61cb16df010000ad","5e1fe99d14d3c9de01000013","5e24ba981a6264de0100011f","5e27418d557b88de01000232","5e28ac1f88416fde010001f5","5e290ff7a8eed2df0100005c","5e2a83a9881468de0100008b","5e2db987732e89de010000b9","5e2fdf024e91a9df01000068","5e32f184c1389bde010000e2","5e4804f3d4b913df0100001a","5e59ff616ef27ddf010000ca","5e5a2962990a84ee01000043","5e60067c13e3aede01000108","5e6089fb1fc211de0100005c","5e616469417d19de01000040","5e66e89085689bf301000052","5tGFpYtzpj9Amev8K","6Qc2mF2ybyMLv79Yd","7mNiQvF8dCC4mcbyg","83AenT2p7GTgaLWqW","9oHYbWatttwcuEWd4","AL49L6o2RMMZhC7k2","B5tLtHqDLXPnjmBbx","BJsJgYbADkdjYgGMw","EEfJxs3sqmAw9P3Ep","GtkDDnXm4fivjfHfw","GxSQ4aoG6dS77cpk5","HAoGi6yG8CTRZ6EHK","HsNaccqjSTv9HQk4H","JK4dRTFeD2eX9DaKf","LHJDSyLkCBdiNEKX3","Q43FmPiyiRcGHtA2h","QKeWoBkJdzZTP7cFM","R4yqgCpoj8i7hF5HX","RHCK3Gux7dHuuMLeu","S78HueuEGsoBmFPiu","W9iFpdgbFvtCkgeYW","WLr8ho4DHkGqoK4tN","XKn3JQ2cQjhv4h4y8","ZxtRJs6pwAGomZ8oS","fooAuP3Xu4rQgu9uN","htGTMeYtCLoe8qzQW","j34qGHFzByKceaR8w","mFsw9mvi9oSAXMnbR","o57QATqYnPyJM9aAH","otxNBB4x4F8HacWQ3","pHgkrPcjGGhDn3tdq","rY3HkKPgfF3PLAx5e","tKKo8ucznm8fCRADy","tMuJRgzFH9FNNuRNh","tWGv2oinBNpZgeoSk","yEMHZ72dLpMkrgsHx"],"author_short":["Jackson, D."],"bibbaseid":"jackson-abstractmodelcheckingofinfinitespecifications-1994","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Abstract Model Checking of Infinite Specifications","booktitle":"FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings","year":"1994","pages":"519-531","bibtex":"@inproceedings{DBLP:conf/fm/Jackson94,\n author = {Daniel Jackson},\n title = {Abstract Model Checking of Infinite Specifications},\n booktitle = {FME '94: Industrial Benefit of Formal Methods, Second International\n Symposium of Formal Methods Europe, Barcelona, Spain, October\n 24-18, 1994, Proceedings},\n year = {1994},\n pages = {519-531},\n}\n\n","author_short":["Jackson, D."],"key":"DBLP:conf/fm/Jackson94","id":"DBLP:conf/fm/Jackson94","bibbaseid":"jackson-abstractmodelcheckingofinfinitespecifications-1994","role":"author","urls":{},"metadata":{"authorlinks":{"jackson, d":"http://sdg.csail.mit.edu/"}},"html":""},"bibtype":"inproceedings","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","downloads":0,"keywords":[],"search_terms":["abstract","model","checking","infinite","specifications","jackson"],"title":"Abstract Model Checking of Infinite Specifications","year":1994,"dataSources":["t9Kc2YBfktMvKserb"]}