LEADER 02041oam 2200481 450 001 9910703926403321 005 20140507103512.0 035 $a(CKB)5470000002447085 035 $a(OCoLC)869215494 035 $a(EXLCZ)995470000002447085 100 $a20140127d2014 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aChallenges facing multiemployer pension plans $ereviewing the latest findings by PBGC and GAO : hearing before the Subcommittee on Health, Employment, Labor and Pensions, Committee on Education and the Workforce, U.S. House of Representatives, One Hundred Thirteenth Congress, first session, hearing held in Washington, DC, March 5, 2013 210 1$aWashington :$cU.S. Government Printing Office,$d2014. 215 $a1 online resource (iii, 51 pages) $cillustrations 300 $aTitle from title screen (viewed on Jan. 27, 2014). 300 $aPaper version available for sale by the Superintendent of Documents, United States Government Printing Office. 300 $a"Serial no. 113-8." 320 $aIncludes bibliographical references. 517 $aChallenges facing multiemployer pension plans 606 $aMultiemployer pension plans$zUnited States 606 $aDefined benefit pension plans$zUnited States 606 $aMultiemployer defined benefit pension plans$zUnited States 606 $aPension trust guaranty insurance$zUnited States 606 $aPensions$zUnited States$xFinance 608 $aLegislative materials.$2lcgft 615 0$aMultiemployer pension plans 615 0$aDefined benefit pension plans 615 0$aMultiemployer defined benefit pension plans 615 0$aPension trust guaranty insurance 615 0$aPensions$xFinance. 801 0$bGPO 801 1$bGPO 801 2$bCOO 801 2$bGPO 906 $aBOOK 912 $a9910703926403321 996 $aChallenges facing multiemployer pension plans$93508005 997 $aUNINA LEADER 03431nam 22007815 450 001 9910413446303321 005 20230221230511.0 010 $a3-030-53291-7 024 7 $a10.1007/978-3-030-53291-8 035 $a(CKB)4100000011343306 035 $a(DE-He213)978-3-030-53291-8 035 $a(MiAaPQ)EBC6420156 035 $a(Au-PeEL)EBL6420156 035 $a(OCoLC)1179001834 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/35502 035 $a(PPN)254711243 035 $a(EXLCZ)994100000011343306 100 $a20200715d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Aided Verification $e32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II /$fedited by Shuvendu K. Lahiri, Chao Wang 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVIII, 683 p. 719 illus., 94 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12225 311 $a3-030-53290-9 327 $aModel Checking -- Software Verification -- Stochastic Systems -- Synthesis. 330 $aThe open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12225 606 $aSoftware engineering 606 $aComputer science 606 $aArtificial intelligence 606 $aComputer engineering 606 $aComputer networks 606 $aComputers 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aArtificial Intelligence 606 $aComputer Engineering and Networks 606 $aComputer Hardware 606 $aComputer Science 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputers. 615 14$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aComputer Engineering and Networks. 615 24$aComputer Hardware. 615 24$aComputer Science. 676 $a005.1 676 $a004.24 700 $aLahiri$b Shuvendu K$4edt$01351252 702 $aLahiri$b Shuvendu K$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWang$b Chao$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910413446303321 996 $aComputer Aided Verification$93091311 997 $aUNINA