' + '

Something went wrong

' + '

The app couldn\u2019t load. This is usually a temporary issue.

' + '' + '' + '

' + (errorMsg || '') + '

'; document.body.appendChild(div); document.getElementById('lex-cr-reload').onclick = function() { window.location.reload(); }; document.getElementById('lex-cr-clear').onclick = function() { try { // Nuke service workers if ('serviceWorker' in navigator) { navigator.serviceWorker.getRegistrations().then(function(regs) { regs.forEach(function(r) { r.unregister(); }); }); } // Nuke all caches if ('caches' in window) { caches.keys().then(function(names) { names.forEach(function(n) { caches.delete(n); }); }); } // Clear localStorage except auth var authBackup = localStorage.getItem('sb-lex-auth-token-backup'); var keys = []; for (var i = 0; i < localStorage.length; i++) keys.push(localStorage.key(i)); keys.forEach(function(k) { if (k && !k.startsWith('sb-') && k !== 'sb-lex-auth-token-backup') { localStorage.removeItem(k); } }); // Clear sessionStorage sessionStorage.clear(); } catch(e) {} setTimeout(function() { window.location.href = '/'; }, 200); }; } })();

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings

Details

Subjects

Find this book

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings

Details

Subjects

Find this book