资源描述:
《Temporal_Logic_and_State_Systems》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、TextsinTheoreticalComputerScienceAnEATCSSeriesEditors:W.BrauerJ.HromkovicG.RozenbergA.SalomaaˇOnbehalfoftheEuropeanAssociationforTheoreticalComputerScience(EATCS)AdvisoryBoard:G.AusielloM.BroyC.S.CaludeA.CondonD.HarelJ.HartmanisT.HenzingerT.LeightonM.NivatC.PapadimitriouD.
2、ScottFredKroger¨·StephanMerzTemporalLogicandStateSystems123Prof.Dr.FredKroger¨Dr.StephanMerzInstitutfurInformatik¨INRIALorraine&LORIALudwig-Maximilians-UniversitatM¨unchen¨615,rueduJardinBotaniqueOettingenstr.6754602Villers-les-Nancy,France´80538Munchen,Germany¨stephan.mer
3、z@loria.frkroeger@informatik.uni-muenchen.deSeriesEditorsProf.Dr.WilfriedBrauerProf.Dr.JurajHromkovicˇInstitutfurInformatikderTUM¨ETHZentrumBoltzmannstr.3DepartmentofComputerScience85748Garching,GermanySwissFederalInstituteofTechnologybrauer@informatik.tu-muenchen.de8092Zu
4、rich,Switzerland¨juraj.hromkovic@inf.ethz.chProf.Dr.GrzegorzRozenbergLeidenInstituteofAdvancedProf.Dr.ArtoSalomaaComputerScienceTurkuCentreofUniversityofLeidenComputerScienceNielsBohrweg1Lemminkaisenkatu14A¨2333CALeiden,TheNetherlands20520Turku,Finlandrozenber@liacs.nlasal
5、omaa@utu.fiISBN978-3-540-67401-6e-ISBN978-3-540-68635-4TextsinTheoreticalComputerScience.AnEATCSSeries.ISSN1862-4499LibraryofCongressControlNumber:2008921857ACMComputingClassification:D.2.4,F.3.1,F.4.1c2008Springer-VerlagBerlinHeidelbergThisworkissubjecttocopyright.Allright
6、sarereserved,whetherthewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,broadcasting,reproductiononmicrofilmorinanyotherway,andstorageindatabanks.Duplicationofthispublicationorpartsthereofispermittedonlyunderth
7、eprovisionsoftheGermanCopyrightLawofSeptember9,1965,initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.ViolationsareliabletoprosecutionundertheGermanCopyrightLaw.Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimp
8、ly,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaw